Round-six lemma `colL`