theorem PMP: :: NEWTON05:33

for a being Integer holds Parity a = Parity |.a.|