SZS status Theorem for i/f/intto/BIT2__gt__neg__thm
