mmn

proving