G.351 many even numbers

IX.21

If as many even numbers as we please be added together, the whole is even.
many_even_numbers()
prove / A E / is even
A B C D E
construct Let as many even numbers as we please, / A B /, / B C /, / C D /, / D E /, be added together
∵ even_number_divisible_defassert each of the numbers / A B /, / B C /, / C D /, / D E / is even, it has a half part
assert So that / A E / also has a half part
∵ even_number_divisible_defassert An even number is that which is divisible into two equal parts
∴ / A E / 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.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.", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", URL="index.html", target="_top"]; "G.248" -> "G.247"; "G.351" -> "G.248"; "G.351" -> "G.302"; }

Required for

G.353, G.354, G.359, G.360, G.361, G.362