En matemática o lógica, enunciado cuya validez ha sido establecida o demostrada. Consiste en una hipótesis y una conclusión, es decir, tesis demostrada, empezando con un conjunto de ciertas suposiciones necesarias y suficientes para establecer un resultado. Un sistema de teoremas deducidos unos de otros, que se aumentan y se refuerzan mutuamente, constituye una teoría. Dentro de cualquier teoría, sin embargo, sólo se acostumbra llamar teoremas a las afirmaciones que son esenciales, importantes o de especial interés. Las afirmaciones menos importantes, a menudo pasos intermedios en la demostración de resultados más relevantes, son llamados lemas. Una afirmación demostrada como una consecuencia directa de un teorema es llamada un corolario del mismo. Algunos teoremas (y aun lemas y corolarios) se destacan y se los nombra con títulos especiales : Teorema de Pitágoras Teorema de Cauchy Teorema de L'Hôpital Teorema de Bayes Teorema del binomio Teorema de muestreo de...