theorem LS3: :: MOEBIUS2:11

SetPrimenumber 5 = {2,3}