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