added diagrams for lemma 2 and Theorem 1