m_m定理