mas \begin{proof} y redaccion