אם במבחן יבקשו ממני להוכיח שהקטע [0,1) אינו בן מניה, האם אני יכול להגיד שבגלל שהוא מוכל בקטע (0,1) (שאינו בן מנייה) על פי משפט 6 ברשימה הוא אינו בן מנייה, או שאני צריך להוכיח גם את משפט 6 וגם את העובדה שהקטע (0,1) אינו בן מנייה?
== הוכחת משפט מספר 6 ==
אם נסמן A בת מניה ו-B תת קבוצה של A, אז קיימות:
<math>f:A \rightarrow \mathbb{N} </math> חח"ע,
<math>g:B\rightarrow A</math> חח"ע.
לכן <math>g\circ f:B\rightarrow\mathbb{N}</math> חח"ע (לפי משפט 5 ברשימה), ולכן B בת מניה.
מותר להוכיח ככה?