It contained 4200 formulae and theorems, all completely stated and most of them proved.
Contiña 4200 fórmulas e teoremas, todos completamente enunciados e a maioría probados.