Definition:Index of Repunit Prime