theorem :: MOEBIUS2:17

primenumber 4 = 11