theorem EVP: :: NEWTON05:57

for a, b being Integer holds
( a + b is even iff parity a = parity b )