>>612
数年前に発表されたのに難しくて証明できる人がいないって
そのままになってたやつかー
証明されたってことなのかな 良かったね