% SZS status Theorem for INJN__I
% SZS output start Proof for INJN__I
  file('i/f/ind_type/INJN__INJ',ch4s_indu_u_types_INJNu_u_INJ)).
  file('i/f/ind_type/INJN__INJ',ah4s_indu_u_types_INJN0)).
% SZS output end Proof for INJN__I
