Fatta qualche correzione. Aggiunta la prima slide della dimostrazione.