diff --git a/out/tesi-triennale.pdf b/out/tesi-triennale.pdf
index cb211cd..07e51f5 100644
Binary files a/out/tesi-triennale.pdf and b/out/tesi-triennale.pdf differ
diff --git a/src/main.typ b/src/main.typ
index 4a0b41b..719babf 100644
--- a/src/main.typ
+++ b/src/main.typ
@@ -561,7 +561,7 @@ $
   Un diagramma $K$ è una *somma connessa* se appare come due diagrammi disgiunti connessi da due archi paralleli (a meno di isotopie planari). Tagliando questi due archi e riunendo insieme le estremità dello stesso sotto-diagramma otteniamo un nuovo diagramma split della forma $tilde(K) = K_1 union.sq K_2$, in questo caso chiamiamo la somma connessa $K = K_1 hash K_2$.
 ]
 
-#proposition[
+#fact[
   Valgono le seguenti relazioni di $L$ ed $F$ per diagrammi split o in somma connessa
 
   #{
@@ -703,7 +703,7 @@ Ora, sommando e sottraendo membro a membro queste equazioni otteniamo la seguent
 
   block(width: page.width, grid(
     columns: 3,
-    column-gutter: 2em,
+    column-gutter: 1em,
     row-gutter: 1em,
     align: (right, center, left),
     $L[K] + L[S_0 K]$,
@@ -712,9 +712,9 @@ Ora, sommando e sottraendo membro a membro queste equazioni otteniamo la seguent
     $-(L[S_0 K] + L[S_1 S_0 K])$,
     [],
     $-z( L[E_1 S_0 K] + L[e_1 S_0 K] )$,
-    $dots.v$,
+    $dots.v space$,
     $=$,
-    $dots.v$,
+    $space dots.v$,
     $+(-1)^n (L[S_(n-1) dotss S_0 K] + L[hat(K)])$,
     [],
     $ +(-1)^n (z (L[E_n S_(n-1) dotss S_0 K] + L[e_n S_(n-1) dotss S_0 K]))$,
@@ -728,7 +728,7 @@ notiamo che possiamo cancellare tutti i termini del membro di sinistra che compa
 
   block(width: page.width, grid(
     columns: 3,
-    column-gutter: 2em,
+    column-gutter: 1em,
     row-gutter: 1em,
     align: (right, center, left),
     $L[K] + cancel(L[S_0 K])$,
@@ -737,9 +737,9 @@ notiamo che possiamo cancellare tutti i termini del membro di sinistra che compa
     $-(cancel(L[S_0 K]) + cancel(L[S_1 S_0 K]))$,
     [],
     $-z( L[E_1 S_0 K] + L[e_1 S_0 K] )$,
-    $dots.v$,
+    $dots.v space$,
     $=$,
-    $dots.v$,
+    $space dots.v$,
     $+(-1)^n (cancel(L[S_(n-1) dotss S_0 K]) + L[hat(K)])$,
     [],
     $+(-1)^n (z (L[E_n S_(n-1) dotss S_0 K] + L[e_n S_(n-1) dotss S_0 K]))$,