for p being Prime holds NatDivisors p = {1,p}