Chapter 5 Discovering and Proving Polygon Properties