SZS status Theorem for i/f/arithmetic/SUB__0_c0
