Alternatively: "even" means "multiple of 2". Saying "no primes are even" is isomorphic to saying "no primes are multiples of 3 [or any other p you choose]". A claim "n can't be prime if none of the other primes are multiples of n", implies that cannot exist at all.