Li-Fan Chen
says to
YSITD
然後我們可以證明 在 n 成立時, n+1 也會成立