theorem PGG: :: NEWTON05:41

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