>>83 日高
> 【定理】p=2のとき、x^p+y^p=z^pの解x,y,zは0以外の有理数となる。

「となる」は使わずに、「である」で言い換えるとどうなりますか？