for a, b being Integer holds parity (a * b) = (parity a) * (parity b)