DEPRECATED Proving properties of triangles

Problem