Axiom for Generalized Polygon
Start proving Lemma 2.2