SZS status Theorem for i/f/extreal/pow__minus1
