% SZS status Theorem for DORDER__LEM
% SZS output start Proof for DORDER__LEM
  file('i/f/nets/DORDER__LEMMA',ch4s_netss_DORDERu_u_LEMMA)).
  file('i/f/nets/DORDER__LEMMA',ah4s_netss_dorder0)).
% SZS output end Proof for DORDER__LEM
