diff --git a/TFG_Sixto_José_Martínez_Gan.pdf b/TFG_Sixto_José_Martínez_Gan.pdf
index f8d068a..5286fd7 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 d55ad09..bfd404e 100644
--- a/TFG_Sixto_José_Martínez_Gan.tex
+++ b/TFG_Sixto_José_Martínez_Gan.tex
@@ -739,10 +739,10 @@ urlcolor=black]{hyperref}
 	\end{definicion}
 	
 	El criterio de Saito nos da una forma bastante rápida de determinar si \derivaciones{f} es o no libre.
-	\begin{teorema}[Criterio de Saito]
+	\begin{teorema}[Criterio de Saito] \label{Criterio de Saito}
 		Sea $f$ un polinomio de \Kx{} y $\delta_1, \delta_2, \dots, \delta_n$ derivaciones de \derivaciones{f}. Entonces, \derivaciones{f} es libre si y solo si $\det\left( \delta_1, \delta_2, \dots, \delta_n \right) = uf$ donde $u$ es una unidad de $K$, es decir, un elemento de $K \setminus \left\lbrace 0 \right\rbrace$.
 	\end{teorema}
-	En este capítulo explicaremos la demostración de este resultado que aparecen en [\textsc{Referencia al artículo de Vallés}]. Pero primero, deberemos ilustrar algunas construcciones que se utilizan en dicha demostración.
+	En este capítulo explicaremos la demostración de este resultado que aparecen en \cite{VALLES}. Pero primero, deberemos ilustrar algunas construcciones que se utilizan en dicha demostración.
 	
 	\section{Producto Exterior}
 		De cara a la demostración del Criterio de Saito, utilizaremos una operación que nos será de gran ayuda: el producto exterior. Para entender esta, necesitaremos entender primero el producto tensorial. En esencia, el producto tensorial aparece en el siguiente contexto: supongamos que $M$, $N$ y $O$ son \modulo{A}s donde $A$ es un anillo y tenemos una aplicación $b : M \times N \rightarrow O$ que es bilineal, o sea, que $b\left( \bullet, n \right)$ y $b\left( m, \bullet \right)$ son homorfismos de \modulo{A}s para cualquier $m \in M$ y $n \in N$; nos gustaría encontrar un \modulo{A} $E$ a partir de $M \times N$ en el cual exista un homomorfismo de \modulo{A}s $b' : E \rightarrow O$ que se comporte como $b$. En resumen, queremos que para cada $\left( m, n \right)$ en $M \times N$ exista un elemento $m * n$ en $E$ de forma que $b'\left( m*n \right) = b\left( m, n \right)$. Esta es la motivación de la construcción del producto tensorial.