Cones and cylinders which are on equal bases are to one another as their heights.
lines 74–74 in main.tex