飞行器内，韩元坐在桌前写写画画着，手中的笔白色的稿纸上描绘出一个又一个的数学符号。
希尔伯特二十三问中的第十七问的论证在他手中如流水一般，没有丝毫的阻碍就直接写出来了。
“.......”
“为添加α于f所得的单扩域，且f(α)={f(α)/(ga)i g(a)≠o，f(α)，g(α)均为f上α的多项式}.....”
“若α?，...，αr∈e，e的添加α?，...，αr，于f的最小子域记为f(α?，...，αr)=f(α?）...f（αr）。
“.......”
一个多小时后，韩元放下了手中的笔，看着已经写满了各种数学符符合和推论的稿子，他都有些忍不住咽了下口水。
虽然能如此顺畅的将推论过程写出来离不开他事先就已经知道了希尔伯特问题中的第十七问有解并已证明有关，但韩元依旧觉得有些不可思议，这个速度太快了，一个多小时就能搞定一个数学难题，简直不可思议。
不过转念，韩元很快明白了为什么自己能如此迅速的且不间断的将论证过程写出来了。
希尔伯特二十三问中的第十七问是描述群和域的关系的问题，而无