This paper has been withdrawn by the authors because M. Aschenbrenner pointed out that the proof of theorem 3.1 was incorrect.
生成讲解博客的中文版本
生成AI智能校验的中文版本