שלושה קטעים, שלוש חפיפות

כמעט כל הוכחה בפרק מעבירה קטע אחד מ-$A$ אל הבסיס. איזה קטע — זה מה שקובע את משפט החפיפה.