theorem :: MOEBIUS2:12

primenumber 2 = 5