>>482
要らない
区別できる無限集合があればいいだけ