theorem :: MOEBIUS2:15

primenumber 3 = 7