theorem :: MOEBIUS2:10

primenumber 1 = 3