% SZS status Theorem for EVEN__OR__O
% SZS output start Proof for EVEN__OR__O
  file('i/f/arithmetic/EVEN__OR__ODD',ah4s_arithmetics_EVENu_u_ODD)).
  file('i/f/arithmetic/EVEN__OR__ODD',ch4s_arithmetics_EVENu_u_ORu_u_ODD)).
% SZS output end Proof for EVEN__OR__O
