theorem Th10:
  a c= a \/ b & b c= a \/ b
by XBOOLE_1:7;
