Corolário

Proposição imediatamente conseqüente a um teorema, derivada de outra.

Chamam-se também as proposições de menor importância ou extensão, deduzidas de uma proposição principal.