導出可能性条件D2から単調性条件Mを導く