Round-six lemma `dupMv_spec`