% SZS status Theorem for SIGMA__REDU
% SZS output start Proof for SIGMA__REDU
  file('i/f/measure/SIGMA__REDUCE',ch4s_measures_SIGMAu_u_REDUCE)).
  file('i/f/measure/SIGMA__REDUCE',ah4s_measures_SPACEu_u_SIGMA)).
  file('i/f/measure/SIGMA__REDUCE',ah4s_measures_SPACE)).
% SZS output end Proof for SIGMA__REDU
