Contenía 4200 fórmulas y teoremas, todos completamente enunciados y la mayoría probados.