theorem :: MOEBIUS2:8

primenumber 0 = 2