Round-six lemma `cParA_U`