SZS status Theorem for i/f/intto/apintto__thm
