IX.34 Proposition IX.34
If an even number be neither one of those which are doubled from a duad, nor have its half odd, it is both even-times even and even-times odd.
Proof
Such a number has the form 2km with k≥2 and m odd, m>1: it is even-times even (2⋅2k−1m) and even-times odd
(2k⋅m).
lines 74–74 in main.tex