שינויים

תהי <math>\{ { a }_{ n }\} \subseteq A;{ a }_{ n }\rightarrow a\in X</math>. אם היא קבועה לבסוף אז ודאי שהגבול בA. אחרת, יש תת סדרה <math>{ \{ { a }_{ { n }_{ k } }\} }_{ k=1 }^{ \infty }\subseteq A\diagdown \left\{ a \right\} </math>. כל תת סדרה של מתכנסת תתכנס גם היא ולאותו גבול, לכן לפי הגדרה <math>a\in A'\subseteq A</math>, לכן <math>a\in A</math>.