שינויים
/* צריך ללמוד הוכחות של משפטים שאינם ברשימה? */
?
== צריך ללמוד הוכחות של משפטים שאינם ברשימה? בהמשך לשאלה הקודמת==
בפרט, צריך לדעת הוכחות של משפטים שההוכחות מהרשימה מסתמכות עליהם? למשל, ההוכחה של משפט לגרנז' מסתמכת על הלמה של רול, שבעצמה נשענת על משפט פרמה- האם כל ההוכחות הפנימיות דרושות?