theorem :: GR_CY_3:16

Mersenne 0 = 0