>>308
三平方の定理とかみんなさんが「公式」って呼ぶものがあるじゃん？あれが一個増えるしかも汎用性めちゃ高
その証明が滅茶苦茶難しくて、こんだけ教育が進んで数学者も沢山いる現代で数十年できなかったのを日本の数学者が証明した