Esta demostración usa la definición de enteros pares, las propiedades de los enteros para la clausura bajo la adición y la multiplicación, y la distributividad.