>>758
1⇒2ってハウスドルフとかいらんのかな