theorem Set2: :: MOEBIUS3:40

SetPrimes 2 = {2}