Tweak wording in a proof.