SZS status Theorem for i/f/arithmetic/NOT__LT__ZERO__EQ__ZERO
