SZS status Theorem for i/f/integral/INTEGRAL__0
