実数k，nに対し
k^2がnの倍数ならば
kもnの倍数であることを示せ。

k^2=k×k=nl(lも実数)
∴k=n×l/k
従ってkはnの倍数である。

自信が無いのですが、あってますでしょうか？