mmn

proves