選択公理は画竜点睛といった感じですね。