theorem LS13: :: MOEBIUS2:18

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