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