2xy >= (x^2−y^2)