theorem :: GR_CY_3:21

Mersenne 7 = 127