Consta de 11 definiciones y 37 proposiciones, 5 de las cuales son problemas y las otras teoremas.