>>81は、x^3+y=z^3が自然数解を持たないことを証明しているのでyの係数が3でないのはタイプミスではありません。

「yの係数が3」でないとは、言っていません。
yは、y^3の間違いでは、ないでしょうか？