IX.32 Proposition IX.32
Each of the numbers which are continually doubled beginning from a duad is even-times even only.
Proof
2n has no odd divisors greater than 1 (Euclid's lemma); hence its
only factorisation is 2×2n−1, even-times-even.
lines 74–74 in main.tex