kolonel lemma