(This unique factorization follows from the fact that, roughly speaking, a version of the Euclidean algorithm can be defined on them.
(Единственность разложения, грубо говоря, следует из того, что для них можно определить версию алгоритма Евклида) Доказательство имеет три шага.