for a, b being odd Integer holds 2 |-count ((a |^ 2) + (b |^ 2)) = 1