Notemos que si z = px y w = px , el racional z/w = p (x/y) con x, y no divisibles por p.