Pythagorean theorem

Theorem

Let ABC be a triangle. If ABC is a right triangle with the right angle at B, then $AB^2+BC^2=AC^2$.