Delete res9b.tex