>>509
自明な同値類を考えればsが選べるんだろ、選択公理を使って