For, if A is even-times even also, it will be measured by an even number according to an even number; [VII. Def. 8]
so that the half of it will also be measured by an even number though it is odd: which is absurd.
Therefore A is even-times odd only.
Q. E. D.