もしかして自然数が一意的に素因数分解されることを知らないとか?