Mの要素数がn-1個以下の場合に拡張した版を考えれば帰納で何とかなりそうやな