La demostración de la unicidad se apoya en el siguiente hecho: si un número primo "p" divide a un producto "ab", entonces divide a "a" o divide a "b" (lema de Euclides).