Matemáticas/Definiciones/Corolario

Corolario o consecuencia es un teorema cuya validez sigue directa y simplemente de otro ya demostrado.

Mirar la definición de proposición.