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, o comprimento da diagonal de um quadrado cujo lado possui comprimento $a$ é dado por $a \cdot \sqrt{2}$. Isso é um corolário do teorema de Pitágoras.