フェルマーの最終定理の簡単な証明

[0087 １３２人目の素数さん 2020/05/18(月) 20:57:44.03 ID:N3ws8Vrd]

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

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