>>801
「Aから元をどうやって取り出すのか?」にあなたは「Jechの証明で終わっている」と答えた。
その証明に「using a choice fiunction f for the family S of all nonempty subsets of A」と書かれている。
はい、詰みです。