それなら何で近似証明しかしないのかな？
その他考えるならヒルベルトの零点とかである自己共役アのフィンスキーム考えるか組むしかないのかな？