PROPOSITION 34.

If a number neither be one of those which are continually doubled from a dyad, nor have its half odd, it is both even-times even and even-times odd.

For let the number A neither be one of those doubled from a dyad, nor have its half odd;

I say that A is both even-times even and even-times odd.

A
Now that A is even-times even is manifest; for it has not its half odd. [VII. Def. 8]

I say next that it is also even-times odd.

For, if we bisect A, then bisect its half, and do this continually, we shall come upon some odd number which will measure A according to an even number.
For, if not, we shall come upon a dyad, and A will be among those which are doubled from a dyad: which is contrary to the hypothesis.
Thus A is even-times odd.
But it was also proved even-times even.
Therefore A is both even-times even and even-times 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"; "V.def.1" [label="V.def.1", fillcolor="#224422", tooltip="V.def.1: A magnitude is a part of a magnitude, the less of the greater, when it measures the greater.", URL="../../../book_v/definitions/index.html#v-def-1", target="_top"]; "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"]; "VII.def.8" [label="VII.def.8", fillcolor="#224422", tooltip="VII.def.8: An even-times even number is that which is measured by an even number according to an even number.", URL="../../../book_vii/definitions/index.html#vii-def-8", target="_top"]; "VII.def.9" [label="VII.def.9", fillcolor="#224422", tooltip="VII.def.9: An even-times odd number is that which is measured by an even number according to an odd number.", URL="../../../book_vii/definitions/index.html#vii-def-9", target="_top"]; "IX.34" [label="IX.34", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="IX.34: If a number neither be one of those which are continually doubled from a dyad, nor have its half odd, it is both even-times even and even-times odd.", URL="index.html", target="_top"]; "VII.def.8" -> "V.def.1"; "VII.def.9" -> "V.def.1"; "VII.def.2" -> "VII.def.1"; "VII.def.7" -> "VII.def.1"; "IX.34" -> "VII.def.2"; "VII.def.7" -> "VII.def.6"; "VII.def.8" -> "VII.def.6"; "VII.def.9" -> "VII.def.6"; "VII.def.9" -> "VII.def.7"; "IX.34" -> "VII.def.7"; "IX.34" -> "VII.def.8"; "IX.34" -> "VII.def.9"; }