>>643
不定を示した後に、矛盾を導きました。

何故今まで何故未解決だったのかはかなり不思議だと思う。