Fixed typos at end of proof