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