G.355 even number even — Heath
IX.24
If from an
even number an even number be subtracted, the remainder will be even.
For from the even number / A B / let the even number / B C / be subtracted :
I say that the remainder / A C / is even.
For, since
/ A B / is even, it has a half part.
[G.302]For the same reason / B C / also has a half part ;
so that the remainder [/ A C / also has a half part, and] / A C / is therefore even.
Q. E. D.
Dependency Graph
