Round-six lemma `tabUd_sp`