ABC is an isosceles triangle.