theorem Th79: :: NEWTON:79

SetPrimes is infinite