(a-b)^2\ge0