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 .