a / (Parity a) is odd ;
hence not a div (Parity a) is even by ADI; :: thesis: verum