SZS status Theorem for i/f/int_arith/eq__justify__multiplication
