素因数分解の一意性が成り立たないことの証明 | ScratchStats