Round-six lemma `rdN`