theorem :: NEWTON05:89

for a, b being Integer holds (Oddity a) gcd (Oddity b) = Oddity (a gcd b)