<(a, b), (a, b)> = a^2 + b^2 \geq 0