theorem :: NEWTON05:60

for a, b being Integer holds parity (a gcd b) = max ((parity a),(parity b))