% SZS status Theorem for bmarker__rewrites_
% SZS output start Proof for bmarker__rewrites_
  file('i/f/int_arith/bmarker__rewrites_c2',ch4s_intu_u_ariths_bmarkeru_u_rewritesu_c2)).
% SZS output end Proof for bmarker__rewrites_
