consider b being object such that
A1: b in D2 by XBOOLE_0:def 1;
reconsider b = b as Element of D2 by A1;
consider a being object such that
A2: a in D1 by XBOOLE_0:def 1;
reconsider a = a as Element of D1 by A2;
a "\/" b in { (x "\/" y) where x, y is Element of L : ( x in D1 & y in D2 ) } ;
hence not D1 "\/" D2 is empty ; :: thesis: verum