corolarios
Un corolario, en matemáticas y lógica, es una proposición que se deduce directamente de un teorema previamente probado, con necesidad de una demostración adicional mínima o nula. En la práctica, un corolario representa una consecuencia evidente o natural del teorema al que se refiere, y a menudo se presenta para subrayar una aplicación o una utilidad inmediata del resultado principal.
Etimología y uso: el término procede del latín corollarium, “regalo adicional”, y fue adoptado en la tradición
Relación con otros conceptos: un corolario se diferencia de un lema, que es un resultado auxiliar necesario
Ejemplos: uno clásico es que, a partir del teorema de la suma de los ángulos de un
Uso en la literatura: los corolarios suelen numerarse (Corolario 1, Corolario 2) y aparecen inmediatamente después