(((a |^ 2) - (b |^ 2)) / 2) + (b |^ 2) is odd ;
hence not ((a |^ 2) + (b |^ 2)) / 2 is even ; :: thesis: verum