Li-Fan Chen says to YSITD
從前面可以推導出後面