SZS status Theorem for i/f/extreal/EXTREAL__SUM__IMAGE__NOT__INFTY_c0
