完成条件
收敛数列的任一子列收敛于同一极限的定理