In any parallelogram the complements of the parallelograms about the diameter are equal to one another.
lines 74–74 in main.tex