208の代わりに証明してみる。
Z/pZ が単純⇔pが素数は自明。
したがって、nを自然数とすると、Z/nZの組成列は
Z/nZ ⊃ pZ/nZ ⊃pqZ/nZ ・・・ ⊃pq・・・rZ/nZ = 0 （p、q、・・・r は素数、pq・・・r = 1)
という形をしている。
したがって商群の列の（順序を除いた）一意性から、素因数分解の一意性がでる。
おわり。