SZS status Theorem for i/f/lebesgue/psfis__not__infty
