prove that the triangle ABC is isosceles.