SUBPROOF(m, D_m, false) = {MTH(D_m)}