En matemáticas y lógica , una consecuencia o corolario (el latín corollarĭum tardío ) es una proposición derivada de una verdad ya demostrada. En resumen, esta es una consecuencia obvia que no requiere prueba.