theorem :: GR_CY_3:20

Mersenne 5 = 31