存在唯一性定理 怎么翻译?