Si se suman tantos números pares como se quiera, el total es par.
Súmense pues AB , BC , CD , DE , tantos números pares como se quiera. Digo que el total AE es par.
Pues como cada uno de los números AB, BC, CD, DE es par, tiene una mitad [Def. VII.6]; de modo que también el total AE tiene una mitad. Pero un número par es el que se divide en dos partes iguales [Def. VII.6].
Por consiguiente, AE es par.
Q. E. D.