それって理論が破綻してない？
実装的にはわかるけどさ