SUBPROOF(m, D_m, true) = {}