SZS status Theorem for i/f/binary_ieee/infinity__properties_c9
