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

I.17 Proposition I.17

In any triangle two angles taken together in any manner are less than two right angles.

lines 74–74 in main.tex