theorem P2P: :: NEWTON05:31

for a, b being non zero Integer st Parity a > Parity b holds
2 * (Parity b) divides Parity a