Licson Lee
says to
YSITD
聽說很久以前Fermat證明了這條東西可是他把proof丟掉了