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