SZS status Theorem for i/f/fcp/FCP__EXISTS0
