diff --git a/TFG_Sixto_José_Martínez_Gan.pdf b/TFG_Sixto_José_Martínez_Gan.pdf
index 3c05ffe..47f329a 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 1ea1f6e..84060a0 100644
--- a/TFG_Sixto_José_Martínez_Gan.tex
+++ b/TFG_Sixto_José_Martínez_Gan.tex
@@ -262,7 +262,7 @@ urlcolor=black]{hyperref}
 %--- RESUMEN
 \chapter{Resumen}
 	
-
+\todo{Configuraciones de hiperplanos, justificar. Conjetura de Terao.}
 	En este trabajo estudiaremos varios aspectos del módulo de derivaciones polinómicas de un polinomio. Comenzamos dando las pinceladas básicas de la teoría de módulos para comprender con qué tipo de objeto estamos trabajando. A continuación, exploramos algunas de las dificultades que presenta este tipo de objeto con respecto a otros similares como son el espacio vectorial, en particular la determinación de la pertenencia a este y la existencia de una base. Solucionamos el primero de estos problemas introduciendo dos herramientas fundamentales de esta teoría: las bases de \Groebner{} y las sicigias. Por último, para solucionar el segundo problema, damos una detallada demostración del Criterio de Saito, un resultado que nos caracteriza para qué módulos existe una base.
 	
 \selectlanguage{english}
@@ -288,7 +288,6 @@ urlcolor=black]{hyperref}
 
 	% Contar todo lo que sabemos hacer.
 
-\todo{Configuraciones de hiperplanos, justificar. Conjetura de Terao.}
 	Supongamos que tenemos un polinomio en varias variables \nolbreaks{$f \in \anillodepolinomios{K}{x_1, x_2, \dots, x_n} =: \Kx$}, y estamos trabajando con combinaciones lineales polinómicas de sus derivadas parciales de primer orden, es decir, expresiones de la forma
 	\begin{equation*}
 		a_1 \diffp{}{x_1} + a_2\diffp{}{x_2} + \dots + a_n\diffp{}{x_n}\quad a_i \in \Kx \ \forall i.