>>698
大体いいが、ここでは割り算記法を使わない証明が望ましい。

「y = ax, x = by より y=aby。
これを満たす自然数はa=b=1以外にない。よってx=y。」