Corolario

Proposición que se deduce lógicamente de un teorema previamente demostrado, sin requerir una demostración adicional.

Fuente:

Kleene, S. C. (2009). Introducción a la lógica matemática. McGraw-Hill.