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

VII.10 Definition VII.10

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

lines 74–74 in main.tex