证明:度量空间中收敛序列的极限是唯一的