Delete proofnChoose2Case.tex