SZS status Theorem for i/f/arithmetic/EXP__BASE__LEQ__MONO__SUC__IMP
