Li-Fan Chen says to YSITD
一種證明方法ㄅ