Versione: 20130625-173406

Correzioni varie, in particolare sulla dimostrazione del Teorema del
punto fisso. Chiarito meglio qualche passaggio.