logica
conceptos
teorema
Corolario
Es una proposición que se deduce fácilmente de un teorema y tiene una relevancia considerable en lo expresado.
No aporta nada más que el teorema pero si puede aclararlo.