לכן הגענו לסתירה.
מהו בכל זאת פתרון השאלה?
== הוכחת משפט 7 ברשימת המשפטים למבחן ==
אם במבחן יינתן משפט 7 להוכחה, מספיק להוכיח שהקטע הפתוח (0,1) אינו בן מניה ואז ניתן להשתמש בעובדה ש [0,1) שקול ל (0,1) וזה מוכיח גם שהקטע [0,1) אינו בן מניה? אגב, הניסוח של המשפט לא מובן, מספיק להוכיח שרק אחד מהם לא בן מניה או שניהם לא בני מניה?