שינויים
/* תתי סדרות */
'''מסקנה.''' אם לסדרה קיימת תת סדרה המתכנסת לגבול K וקיימת תת סדרה שאינה מתכנסת לגבול K אזי הסדרה המקורית אינה מתכנסת.
'''משפט בולצאנו ויירשטראס.''' לכל סדרה חסומה יש תת סדרה מתכנס.
'''[[משפטים/אינפי/בולצאנו-ויירשטראס|הוכחה]]'''. (בהוכחה מוזכרת גם הלמה של קנטור.)
