SZS status Theorem for i/f/quotient/o__PRS
