Teoremas
(Usar algoritmo que analiza el lenguaje como una bolsa)