5.1 存在唯一性定理