XIII.7 Proposition XIII.7
If three angles of an equilateral pentagon, taken either in order or not in order, be equal, the pentagon will be equiangular.
Proof
The five interior angles sum to 3⋅180∘ (I.32 extended);
combined with three equal angles, the constraint forces all five to
be equal.
lines 74–74 in main.tex