m n Theorem