SZS status Theorem for i/f/intto/neg__lt__BIT2__thm
