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