2 * 1 is even ;
hence not r |^ 2 is negative ; :: thesis: verum