これが発表されたとき数学界が大騒ぎしてたの覚えてるわ