Round-six lemma `DC_vals`