theorem :: GR_CY_3:17

Mersenne 1 = 1 ;