For a right triangle, if c denotes the length of the hypotenuse and a and b denote the lengths of the other two sides, we have
a2 + b2 = c2
Theorem 1 is very popular and is unrelated to Definition 1.
And this is a normal definition list: