theorem :: GR_CY_3:22

Mersenne 11 = 23 * 89