m=∏si=1pmiiandM=∏si=1pMii Por otro lado, cualquier entero mayor quem tenga una factorización única ...m=∏si=1pmiiandM=∏si=1pMii Por otro lado, cualquier entero mayor quem tenga una factorización única que o bien contenga un primo no en la listaP y por lo tanto no dividea nib, o, si no, al menos uno de los primosP en su factorización tiene un poder mayor quemi . En el último caso nom es un divisor de al menos uno dea yb.