In group theory, his theorem states that any finit
In group theory, his theorem states that any finite group whose order is divisible by a prime p contains an element of order p. He is known to students of complex analysis for his theorem stating that the integral over a closed contour of any holomorphic function without interior singularities is zero. Perhaps this Frenchman's most lasting result holds that the inner product of two vectors is less than or equal to the product of their lengths. FTP, who is this discoverer of a famous inequality named for he and Schwartz?
In group theory, his theorem states that any finite group whose order is divisible by a prime p contains an element of order p.
Augustin-Louis Cauchy