SZS status Theorem for i/f/prim_rec/INV__SUC__EQ
