X2 10x 9 u2264 0