In right-angled triangles the square on the side subtending the right angle is equal to the squares on the sides containing the right angle.

EUCLID