Source — Euclid's Elements, encoded as an rrxiv paper

XIII.16 Proposition XIII.16

To construct an icosahedron and comprehend it in a sphere, as in the case of the aforesaid figures; and to prove that the side of the icosahedron is the irrational straight line called minor.

lines 74–74 in main.tex