SZS status Theorem for i/f/intto/neg__BIT2__lt__thm
