Fixed typo in proof