corolario Declaración que se puede demostrar fácilmente a partir de un teorema mayor, de manera que no sea necesario demostrarla como un teorema por separado.

El Término relacionado: teorema