Round-six lemma `segBodyR_sp`