for a being Integer holds parity a = parity (- a)