Es la proposición más conocida, entre otras, de las que tienen nombre propio de la matemática.