theorem :: NUMBER08:87

for p being Prime holds NatDivisors (p |^ 4) = {1,p,(p |^ 2),(p |^ 3),(p |^ 4)}