consider x2 being object such that
A1: x2 in X2 by XBOOLE_0:def 1;
consider x1 being object such that
A2: x1 in X1 by XBOOLE_0:def 1;
[x1,x2] in [:X1,X2:] by A2, A1, ZFMISC_1:def 2;
hence not [:X1,X2:] is empty ; :: thesis: verum