theorem LS4: :: MOEBIUS2:14
SetPrimenumber 7 = {2,3,5}