Eliminato Bohr-Mollerup, aggiunto commenti alle sezioni, migliorato l'aspetto tipografico, aggiunto la sezione fattoriale, concluso la dimostrazione di un lemmino