>>226
用意してある解答例は選択公理と独立?