theorem OPA: :: NEWTON05:27

for a being non zero Integer holds Oddity (Parity a) = 1