SZS status Theorem for i/f/measure/finite__additivity__sufficient__for__finite__spaces2
