Round-six lemma `sHr`