The sum of the squares of the legs of a right-angled triangle is equal to the square of the hypotenuse.