Proposición cuya veracidad se deriva de manera directa de un teorema ya demostrado. De esta manera, al hablar de un corolario, se entiende que hay un teorema de referencia del cual se deriva.
Nota: También se le llama porisma (aunque ésta es una palabra ya en desuso).
Nota 2: Etimológicamente, proviene del latín corolla=corona pequeña (de flores), y tiene el sentido regalo u ofrenda. De esta manera, el corolario es una proposición obsequio que viene con el teorema del cual se deriva.