对定理3.1进行了修改.只做唯一性证明