What is the name of the famous theorem in mathematics, which states that in a right-angled triangle, the square of the length of the hypotenuse is equal to the sum of the squares of the other two sides?