theorem Th39: :: HILB10_1:36

for n, k being Nat
for a being non trivial Nat st k > 0 & Py (a,k) divides Py (a,n) holds
k divides n