diff --git a/TFG_Sixto_José_Martínez_Gan.pdf b/TFG_Sixto_José_Martínez_Gan.pdf
index b86c48b..3e6d7e8 100644
Binary files a/TFG_Sixto_José_Martínez_Gan.pdf and b/TFG_Sixto_José_Martínez_Gan.pdf differ
diff --git a/TFG_Sixto_José_Martínez_Gan.tex b/TFG_Sixto_José_Martínez_Gan.tex
index d8b2f66..7b8faf2 100644
--- a/TFG_Sixto_José_Martínez_Gan.tex
+++ b/TFG_Sixto_José_Martínez_Gan.tex
@@ -533,7 +533,7 @@ p\rar[mapsto]&\displaystyle\diffp{p}{x_i}.
 		\begin{definicion}
 			Diremos que $M$ es un \modulo{A} \emph{reflexivo} si $\Psi$ es un isomorfismo.
 		\end{definicion}
-\todo{Reflexivo implica libre de torsión}
+		Esta noción será de gran importancia como puede verse en el esquema \ref{Esquema Demostración} puesto que los módulos reflexivos son libres de torsión.
 		\begin{ejemplo} \label{Ejemplo Espacio Vectorial es Reflexivo}
 			Veamos que todo espacio vectorial de dimensión finita es reflexivo. Sea $V$ un $K$-espacio vectorial de dimensión $n$ y con base $\conjunto{v_1, v_2, \dots, v_n}$. El conjunto \dual{V} admite como base a la \emph{base dual} compuesta por los $v^*_{i}$ definidos como
 			\begin{equation*}