theorem LS4: :: MOEBIUS2:14

SetPrimenumber 7 = {2,3,5}