example for lemma 2.3