add procedure same-parity