Parity (2 |^ 1) = 2 |^ 1 ;
hence Parity 2 = 2 ; :: thesis: verum