Li-Fan Chen says to YSITD
費馬大定理也是套套邏輯啊