Definition:Index of Mersenne Prime