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