Proof: By Euclid
(related to Proposition: Prop. 9.28: Odd Number multiplied by Even Number is Even)
- For since $A$ has made $C$ (by) multiplying $B$, $C$ is thus composed out of so many (magnitudes) equal to $B$, as many as (there) are units in $A$ [Def. 7.15] .
- And $B$ is even.
- Thus, $C$ is composed out of even (numbers).
- And if any multitude whatsoever of even numbers is added together then the whole is even [Prop. 9.21].
- Thus, $C$ is even.
- (Which is) the very thing it was required to show.
∎
Thank you to the contributors under CC BY-SA 4.0!
- Github:
-
- non-Github:
- @Fitzpatrick
References
Adapted from (subject to copyright, with kind permission)
- Fitzpatrick, Richard: Euclid's "Elements of Geometry"