7.3: Cyclic Polygons