% SZS status Theorem for SURJ__IMA
% SZS output start Proof for SURJ__IMA
  file('i/f/pred_set/SURJ__IMAGE',ah4s_predu_u_sets_IMAGEu_u_SURJ)).
  file('i/f/pred_set/SURJ__IMAGE',ch4s_predu_u_sets_SURJu_u_IMAGE)).
% SZS output end Proof for SURJ__IMA
