PROPOSITION 23.

If as many odd numbers as we please be added together, and their multitude be odd, the whole will also be odd.

For let as many odd numbers as we please, AB, BC, CD, the multitude of which is odd,[1] be added together ;

I say that the whole AD is also odd.

A B C E D

Let the unit DE be subtracted from CD ;

[VII. Def. 7]therefore the remainder CE is even.
[IX. 22]But CA is also even ;
[IX. 21]therefore the whole AE is also even.
And DE is an unit.
[VII. Def. 7]Therefore AD is odd.
Q. E. D.

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"; "VII.def.1" [label="VII.def.1", fillcolor="#224422", tooltip="VII.def.1: An unit is that by virtue of which each of the things that exist is called one.", URL="../../../book_vii/definitions/index.html#vii-def-1", target="_top"]; "VII.def.2" [label="VII.def.2", fillcolor="#224422", tooltip="VII.def.2: A number is a multitude composed of units.", URL="../../../book_vii/definitions/index.html#vii-def-2", target="_top"]; "VII.def.6" [label="VII.def.6", fillcolor="#224422", tooltip="VII.def.6: An even number is that which is divisible into two equal parts.", URL="../../../book_vii/definitions/index.html#vii-def-6", target="_top"]; "VII.def.7" [label="VII.def.7", fillcolor="#224422", tooltip="VII.def.7: An odd number is that which is not divisible into two equal parts, or that which differs by an unit from an even number.", URL="../../../book_vii/definitions/index.html#vii-def-7", target="_top"]; "IX.21" [label="IX.21", fillcolor="#222244", tooltip="IX.21: If as many even numbers as we please be added together, the whole is even.", URL="../21/index.html", target="_top"]; "IX.22" [label="IX.22", fillcolor="#222244", tooltip="IX.22: If as many odd numbers as we please be added together, and their multitude be even, the whole will be even.", URL="../22/index.html", target="_top"]; "IX.23" [label="IX.23", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="IX.23: If as many odd numbers as we please be added together, and their multitude be odd, the whole will also be odd.", URL="index.html", target="_top"]; "VII.def.2" -> "VII.def.1"; "VII.def.7" -> "VII.def.1"; "IX.21" -> "VII.def.2"; "VII.def.7" -> "VII.def.6"; "IX.21" -> "VII.def.6"; "IX.22" -> "VII.def.6"; "IX.22" -> "VII.def.7"; "IX.23" -> "VII.def.7"; "IX.22" -> "IX.21"; "IX.23" -> "IX.21"; "IX.23" -> "IX.22"; }

Required for

IX.29, IX.30, IX.31