theorem SetPrime1: :: MOEBIUS3:37

( SetPrimes 0 = {} & SetPrimes 1 = {} )