% SZS status Theorem for SUBADDITI
% SZS output start Proof for SUBADDITI
  file('i/f/measure/SUBADDITIVE',ch4s_measures_SUBADDITIVE)).
  file('i/f/measure/SUBADDITIVE',ah4s_measures_subadditiveu_u_def)).
% SZS output end Proof for SUBADDITI
