G S Chandy says: > Could you possibly guide me to a proof of Th. 2?
It was just Wayne's joke, unfortunately loses its punch if if needs explained. However, at any point in time you can just look up whatever the largest "known" prime is at the moment. It is usually Mersenne (2**p - 1), and may be for a long time to come.