G.359 odd number multiplying

IX.28

If an odd number by multiplying an even number make some number, the product is even.
odd_number_multiplying()
prove C is even
A B C
assert Let the odd number A by multiplying the even number B make C
assert A by multiplying B has made C,
∵ number_said_multiply_defassert C is made up of as many numbers equal to B as there are units in A
assert B is even
assert C is made up of even numbers
∵ many_even_numbersassert But, if as many even numbers as we please be added together, the whole is even
∴ C is even

Dependency Graph

digraph { bgcolor="transparent"; node [shape=box, style="rounded,filled", fontname="Helvetica", fontsize=11, color="#d6d3cd", fontcolor="#ffffff"]; edge [color="#8c857b", fontcolor="#8c857b", arrowsize=0.75]; rankdir="TB"; "G.247" [label="G.247", tooltip="G.247 (VII.def.1): Anunit is that by virtue of which each of the things that exist is called one.", fillcolor="#224422", URL="../G.247/index.html", target="_top"]; "G.248" [label="G.248", tooltip="G.248 (VII.def.2): Anumber is a multitude composed ofunits.", fillcolor="#224422", URL="../G.248/index.html", target="_top"]; "G.269" [label="G.269", tooltip="G.269 (VII.def.15): Anumber is said tomultiply a number when that which is multiplied is added to itself as many times as there areunits in the other, and thus some number is produced.", fillcolor="#224422", URL="../G.269/index.html", target="_top"]; "G.302" [label="G.302", tooltip="G.302 (VII.def.6): Aneven number is that which is divisible into two equal parts.", fillcolor="#224422", URL="../G.302/index.html", target="_top"]; "G.351" [label="G.351", tooltip="G.351 (IX.21): If as many even numbers as we please be added together, the whole is even.", fillcolor="#222244", URL="../G.351/index.html", target="_top"]; "G.352" [label="G.352", tooltip="G.352 (VII.def.7): Anodd number is that which is not divisible into two equal parts, or that which differs by anunit from aneven number.", fillcolor="#224422", URL="../G.352/index.html", target="_top"]; "G.359" [label="G.359", tooltip="G.359 (IX.28): If an odd number by multiplying an even number make some number, the product is even.", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", URL="index.html", target="_top"]; "G.248" -> "G.247"; "G.269" -> "G.247"; "G.352" -> "G.247"; "G.269" -> "G.248"; "G.351" -> "G.248"; "G.359" -> "G.248"; "G.359" -> "G.269"; "G.351" -> "G.302"; "G.352" -> "G.302"; "G.359" -> "G.302"; "G.359" -> "G.351"; "G.359" -> "G.352"; }