% SZS status Theorem for EQ__S
% SZS output start Proof for EQ__S
  file('i/f/integral/EQ__SUC',ch4s_integrals_EQu_u_SUC)).
  file('i/f/integral/EQ__SUC',ah4s_primu_u_recs_INVu_u_SUCu_u_EQ)).
% SZS output end Proof for EQ__S
