>>963
でも、その証明だと素因数分解の一意性を仮定してしまっているけど。
気にならないの?