Round-six lemma `crt_absorb`