Added images for Lemmas 4 and 5.