SZS status Theorem for i/f/intto/neg__neg__thm
