四次曲面上的有理点

令 $S \subset \P^n$ 为定义在数域 $K$ 上的光滑四次超曲面。若 $n \ge 4$,则对于 $K$ 的某个有限扩张 $K'$,$S$ 的 $K'$-有理点集合 $S(K')$ 是 Zariski 稠密的。