Round-six lemma `tabGenR_fsp`