Corolario

Corolario: Se llamará corolario a una afirmación lógica que sea consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrado.

(Tomado de Wikipedia)