theorem Th85: :: NUMBER08:85

for m being Nat
for p being Prime holds
( m divides p |^ 4 iff m in {1,p,(p |^ 2),(p |^ 3),(p |^ 4)} )