Si de un número impar se quita un número par, el resto será impar.
Quítese, pues, del número impar AB el número par BC . Digo que el resto CA es impar.
Pues quítese la unidad AD ; entonces DB es par [Def. VII.7]. Pero BC también es par; entonces el resto también es par [Prop. IX.24].
Por consiguiente, CA es impar.
Q. E. D.