consider a1 being Element of C1, a2 being Element of C2;
[:a1,a2:] in C1 [*] C2 by Th97;
hence not C1 [*] C2 is empty ; :: thesis: verum