theorem :: GR_CY_3:18

Mersenne 2 = 3 by Lm2;