Round-six lemma `dupK`