SZS status Theorem for i/f/prim_rec/LESS__SUC__SUC_c1
