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