prove that ABC is a right triangle.