SZS status Theorem for i/f/pair/CURRY__UNCURRY__THM
