Round-six lemma `stgL_sp`