Cambios en la redaccion de teoremas y aumento de \begin{proof}