2
素因数分解が可能であることと素因数分解の一意性を証明せよ。