If , then which is again prime, and surely enough is prime.

Now if - and p prime-, then -since p must be coprime to 3- thus so cannot be prime now.

Then, since and are primes simultaneously only for , and in this case the assertion is true, we are done.