Original: In order for 2p â '1 to be prime, it is necessary that p itself be prime.
Simplified: In order for to be prime, it is necessary that should be prime.