Iteratively dividing by the p factors shows that each p has an equal counterpart q; the two prime factorizations are identical except for their order.
Împărțind iterativ la factorii p rezultă că fiecare p are un corespondent q; cele două descompuneri în factori primi sunt identice cu excepția ordinii factorilor.