Round-six lemma `stG_spX`