Fixed bad typo in proof