Si un número impar, al multiplicar a un número par, hace algún número, el producto será par.
Haga pues el número impar A , al multiplicar al número par B , el número C . Digo que C es par.
Pues como A, al multiplicar a B, ha hecho el número C, entonces C se compone de tantos números iguales a B como unidades hay en A [Def. VII.16]. Ahora bien, B es par; entonces C se compone de números pares. Pero, si se suman tantos números pares como se quiera, el total es par [Prop. IX.21].
Por consiguiente, C es par.
Q. E. D.