Corolário

Um corolário (do latim tardio corollarĭum) é uma afirmação deduzida de uma verdade já demonstrada. Assim como proposição resultante de uma verdade.

É igualmente uma decorrência imediata de um teorema. Por exemplo, dado um triângulo, cujos lados têm como comprimento $a$, $b$ e $c$ tal que $a^{2}=b^{2}+c^{2}$. Então o triângulo diz-se retângulo. Isso é um corolário do teorema de Pitágoras.