>480
訂正します。
(x^p+y^p)*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}これは、恒等式
(左辺の左側)=(右辺の左側)を満たす有理数x,yは存在しない。×
(左辺の左側)=(右辺の左側)を満たす有理数x,yは1のみである。○