שינויים
/* הוכחה של משפט 7 מרשימת המשפטים */ פסקה חדשה
16:00
== הוכחה של משפט 7 מרשימת המשפטים ==
אם במבחן יבקשו ממני להוכיח שהקטע [0,1) אינו בן מניה, האם אני יכול להגיד שבגלל שהוא מוכל בקטע (0,1) (שאינו בן מנייה) על פי משפט 6 ברשימה הוא אינו בן מנייה, או שאני צריך להוכיח גם את משפט 6 וגם את העובדה שהקטע (0,1) אינו בן מנייה?