Fixing typo in proof of theorem