theorem LS2: :: MOEBIUS2:9

SetPrimenumber 3 = {2}