% SZS status Theorem for RAT__NO__ZERODIV__N
% SZS output start Proof for RAT__NO__ZERODIV__N
  file('i/f/rat/RAT__NO__ZERODIV__NEG',ah4s_rats_RATu_u_NOu_u_ZERODIV)).
  file('i/f/rat/RAT__NO__ZERODIV__NEG',ch4s_rats_RATu_u_NOu_u_ZERODIVu_u_NEG)).
% SZS output end Proof for RAT__NO__ZERODIV__N
