>>16
ケーラー・アインシュタイン計量の存在問題をもう少しで解決できそうです