Task: Text Categorization
Input (English): This theorem is generalized by de Gua's Theorem. The traditional proof of this statement made use of the ""windmill. "" When using only integers, it is the highest possible case allowed by Fermat's Last Theorem. Many proofs of it are based on the dissection of shapes. This formula is also used to determine the norm of a vector in Cartesian space. It is the general case of the law of (*) cosines. For 10 points, name this theorem used to determine the length of the hypotenuse of a right triangle, written a squared plus b squared equals c squared.
Output (English): Science