SZS status Theorem for i/f/intto/gt__neg__BIT1__thm
