Corolario o consecuencia es un teorema la verdad del cual se deduce simplemente de otro ya demostrado.