(a-b)^2\geq 0