theorem
  for A,B being Event of Si holds A \ B is Event of Si by Th6;
