theorem :: NUMBER14:68

for i being Integer st i <> 1 & i <> - 1 & not i is prime & not - i is prime holds
multiples i misses SetPrimes