theorem SetPrime1: :: MOEBIUS3:37
( SetPrimes 0 = {} & SetPrimes 1 = {} )