( Parity a is even iff parity a is even ) by PIP;
hence (Parity a) - (parity a) is even ; :: thesis: verum