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

VII.8 Definition VII.8

An even-times even number is that which is measured by an even number according to an even number.

lines 74–74 in main.tex