for x, p being natural prime number
for k being natural non zero number holds
( x divides p |^ k iff x = p )