theorem :: NEWTON03:29

for a being non trivial Nat ex n being prime Nat st n divides a