% SZS status Theorem for dimword__sub__int__m
% SZS output start Proof for dimword__sub__int__m
  file('i/f/words/dimword__sub__int__min',ch4s_wordss_dimwordu_u_subu_u_intu_u_min)).
  file('i/f/words/dimword__sub__int__min',ah4s_arithmetics_TIMES2)).
  file('i/f/words/dimword__sub__int__min',ah4s_wordss_dimwordu_u_ISu_u_TWICEu_u_INTu_u_MIN)).
  file('i/f/words/dimword__sub__int__min',ah4s_arithmetics_SUBu_u_RIGHTu_u_EQ)).
% SZS output end Proof for dimword__sub__int__m
