X2 2x2 63 u2264 0