theorem P1: :: NEWTON05:50

for a being Integer holds parity a = parity (- a)