IX.22 Proposition IX.22
If as many odd numbers as we please be added together, and their multitude be even, the whole will be even.
Proof
Pair the odd summands: each pair has even sum (since odd + odd =
even, by the definitions); the total of even-many pairs is even by
IX.21.
lines 74–74 in main.tex