a un error en el cálculo de Koenig (de ) —es decir, a la imperfección de sus tablas logarítmicas—, no (como dicen los libros30) «a un error por parte de la Abeja». «No a un error por parte de Maraldi» es, por supuesto, todo lo que tenemos derecho a decir.
El teorema puede demostrarse de la siguiente manera:
ABCDEF , abcdef , es un prisma recto de base hexagonal regular. Las esquinas BDF se cortan mediante planos que pasan por las líneas AC , CE , EA , que concurren en