A proposition that has been or is to be proved on the basis of explicit assumptions and previously established statements, such as other theorems.
According to the Pythagorean theorem, in a right-angled triangle, the square of the length of the hypotenuse is equal to the sum of the squares of the lengths of the other two sides.