PROOF(m, D_n) = SUBPROOF(m, D_n, true)