Aggiunti 2 teoremi e i 2 corollari alla TT-Decomposition. Il primo teorema è sempre da dimostrare.
Aggiunti gli autocompile e autobibcompile targets al Makefile.
Aggiunte un paio di bischerate agli stili e comandi.
Migliorato l'autocompile per avere sempre evince attivo.

Giornata produttiva! :)