for a, b being non zero Integer holds
( min ((Parity a),(Parity b)) divides a & min ((Parity a),(Parity b)) divides b )