G_7.03 Proving triangles similar