theorem PM: :: NEWTON05:32

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