for a, b being non zero Integer holds
( Parity a divides Parity b iff Parity b >= Parity a )