( a is odd iff parity a is odd ) ;
hence a - (parity a) is even ; :: thesis: verum