theorem LS11: :: MOEBIUS2:16

SetPrimenumber 11 = {2,3,5,7}