oline.tex rushil proof modified