SZS status Theorem for i/f/intto/pos__pos__thm
