>>496
役に立ってるだろ。
たとえばシュライエル予想の解決。