YSITD_TG_Bot1
says to
#ysitd
<licson>: 聽說很久以前Fermat證明了這條東西可是他把proof丟掉了