תהא פונקציה המוגדרת בסביבה הנקובה של כך ש , אזי גם מוגדרת בסביבה הנקובה של ומתקיים
הוכחה
בה”כ , נתון שקיימת סביבה נקובה של בה ולכן מוגדרת בסביבה זו, עכשיו נוכיח באמצעות קריטריון היינה ש. תהא כך ש
עלינו להראות ש
ואכן, לפי אריתמטיקה של גבולות סדרות (חילוק)
משפט (מתכנסת לאפס כפול חסומה מתכנסת לאפס)
תהו שמוגדרות בסביבה הנקובה של כך ש - חסומה ו אזי,
הוכחה
נשתמש בקריטריון היינה
תהא , לכן (מהיינה)
כמו כן חסומה ולכן הסדרה מתכנסת ל- (מהמשפט המקביל על סדרות), שוב מהיינה מתקיים ש
משפט (גבול של ערכים מוחלטים)
תהא שמוגדרת בסביבה הנקובה של .
הוכחה
נשתמש בקריטריון היינה
תהא , לכן (מהיינה)
ולכן, מהמשפט המקביל עבור סדרות
משפט (היינה כש שואף ל ו)
תהא פונקציה המוגדרת בסביבה נקובה של אזי הטענות הבאות שקולות