¿Cuántos teoremas hay en geometría euclidiana?

Nuestro amigo David Joyce es el experto en todo lo relacionado con Euclides. Simplemente mirando su tabla de contenido para los Elementos de Euclides vemos:

Libro I Propuestas (48)
Libro II Propuestas (13)
Libro III Propuestas (37)
Libro IV Propuestas (16)
Libro V. Propuestas (25)
Libro VI . Propuestas (37)
Libro VII Propuestas (39)
Libro VIII . Propuestas (27)
Libro IX . Propuestas (36)
Libro X Propuestas ([115])
Libro XI . Propuestas (39)
Libro XII Propuestas (18)
Libro XIII . Propuestas (18)

48 + 13 + 37 + 16 + 25 + 37 + 39 + 27 + 36 + 115 + 39 + 18 + 18 = 468 teoremas en geometría euclidiana, al menos según lo informado por Euclides. Una lectura moderna probablemente descartaría un buen número de estos, ya que no es Geometría Euclidiana: el Libro VII es teoría de números y el Libro II es descripciones geométricas de identidades algebraicas. En cualquier caso, ha habido bastantes teoremas de geometría euclidiana desde Euclides, pero no sé cómo contarlos.