Round-six lemma `fsR_sp`