Theorem mersenne_mod_four

Modification history