>689
定義されていない文字が証明の中に出てくる時点で、その証明は間違いです。

aを、どんな数に定義しても、x,y,zの、比は同じとなります。