theorem :: GR_CY_3:19

Mersenne 3 = 7 by Lm3;