theorem ADA: :: NEWTON05:72

for a being Integer holds
( 2 * (Parity a) divides Parity (a + (Parity a)) & 2 * (Parity a) divides Parity (a - (Parity a)) )