Round-six lemma `stA_spX`