【朗報】「涼宮ハルヒの憂鬱」のおかげで25年解けなかった数学の難問が解決されるかもしれない