theorem PEPIN31: :: NEWTON05:30

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