>>773
ご苦労さんｗ
なんか、大学初年生に諭している気分だなｗ ；ｐ）

１）証明は、君が独り言ちたように、一つではない
　”Aが無限集合なら「Aの空でない部分集合からその要素への選択関数」が必要”>>766
　って それ あったかな？ｗ
２）いや、「Aの空でない部分集合」を考えるのは良いよ
　そして、個人として
　「Aの空でない部分集合からその要素への選択関数」を考えるのも君の勝手だ
３）だが、”Aが無限集合なら「Aの空でない部分集合からその要素への選択関数」が必要”
　と言い出すと、話は別だよ
４）「Aの空でない部分集合からその要素への”選択関数”」無しでも
　Thomas Jech氏の証明が成り立つことは、>>778に示した（それは いままでも。何度もね）

なんか、大学初年生に諭している気分だなｗ ；ｐ）