for n, k being Nat
for a being non trivial Nat st (Py (a,k)) ^2 divides Py (a,n) holds
Py (a,k) divides n