Round-six lemma `dupP_sp`