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