X2 2x 3 u2265 0