theorem Th4: :: NEWTON05:29

for a, b being Integer holds
( Parity a divides Parity b or Parity b divides Parity a )