证极限唯一性。