theorem :: NUMBER18:10

for p being Prime holds #divs p = 2