שינויים

תהי <math>I_n</math> סדרה של קטעים סגורים המוכלים זה בזה <math>I_1\subseteq supseteq I_2\subseteq supseteq ...</math>, כך שאורך הקטעים שואף לאפס. אזי '''קיימת''' נקודה '''יחידה''' c הנמצאת בכל הקטעים.