( A null X c= A \/ X & B null Y c= B \/ Y ) ;
hence [:A,B:] \ [:(A \/ X),(B \/ Y):] is empty by ZFMISC_1:96, Th29; :: thesis: verum