% SZS status Theorem for EVEN
% SZS output start Proof for EVEN
  file('i/f/probability/EVENTS',ch4s_probabilitys_EVENTS)).
  file('i/f/probability/EVENTS',ah4s_probabilitys_eventsu_u_def)).
  file('i/f/probability/EVENTS',ah4s_measures_measurableu_u_setsu_u_def)).
% SZS output end Proof for EVEN
