Es sabido que dado un número primo cualquiera p, cada número entero z no nulo puede representarse como el producto una potencia del primo p con un número relativamente primo con p.