Round-six lemma `accCU_fsp`