>>13 の証明方法
ネット上でも叩かれまくり

　＝でなく≠で式を変形していくのは、より危険が大きい
　素因数分解の一意性を使用しているが、背理法無用論で証明できるのか？
　分かりやすくなるというメリットが無い。これでは背理法を使った方がより分かりやすい。

などなど