Prove that there are infinitely many prime numbers. Is the number constructed in the proof necessarily prime?
