calculates the angle sum of any polygon and uses minimum conditions to prove triangles are congruent or similar
proves triangles are similar, and uses formal geometric reasoning to establish properties of triangles and quadrilaterals
