Completato il documento (forse manca una dimostrazione). Manca l'aggiunta di alcuni dettagli e completare la liceza.