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 {\displaystyle a} , b {\displaystyle b} e c {\displaystyle c} tal que a 2 = b 2 + c 2 {\displaystyle a^{2}=b^{2}+c^{2}} . Então o triângulo diz-se retângulo. Isso é um corolário do teorema de Pitágoras.