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