theorem :: MOEBIUS2:13

SetPrimenumber 6 = {2,3,5}