证极限（存在时）唯一。