¿Qué establece el Teorema 4.4.2 sobre la propiedad de paridad?

El Teorema 4.4.2 establece que la propiedad de paridad establece que todo número entero se puede clasificar como par o impar. Un número entero es par si es divisible por 2 y es impar si no es divisible por 2.