選択公理を認めれば…が成り立つ、ってのが定理だろ?多分
正しいんじゃねーのか?

選択公理が正しいか、どうかは知らんよ。w