¿Qué es un teorema en matemáticas?