a is odd ;
hence not parity a is zero ; :: thesis: verum