>>682
M_kは単純減少だが
Mは互いに素（交わりを持たない）有限増加列の極限に書けてるでしょ。