theorem PGC: :: NEWTON05:40

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