case 1 again:

Without loss of generality, we may assump x
case 1. x so, for any x1 in X, we can find y1 in Y1 and z1 in Z1, such that |y1-z1| = x1, z1 >= x1, so x1,y1,z1 can form a triangle.