% SZS status Theorem for ODD__EV
% SZS output start Proof for ODD__EV
  file('i/f/arithmetic/ODD__EVEN',ah4s_arithmetics_EVENu_u_ODD)).
  file('i/f/arithmetic/ODD__EVEN',ch4s_arithmetics_ODDu_u_EVEN)).
% SZS output end Proof for ODD__EV
