theorem ADI: :: NEWTON05:26

for a being non zero Integer holds a / (Parity a) = a div (Parity a)