And the base is the circle described by the straight line which is carried round.
lines 74–74 in main.tex