SZS status Theorem for i/f/intto/ZERO__eq__neg__ZERO__thm
