Round-six lemma `coefBd_sp`