Allen Chou
says to
YSITD
我們應該使用遞迴證明