theorem :: MOEBIUS2:19

primenumber 5 = 13