Round-six lemma `slDn_sp`