mmn

theorem