DEPRECATED Proving properties of triangles