XII.5 Proposition XII.5
Pyramids which are of the same height and have triangular bases are to one another as their bases.
Proof
Apply XII.4 in the limit of XII.3 iterations; the prism-sums
exhaust the pyramids (X.1), so the base-ratio is the pyramid-ratio.
lines 74–74 in main.tex