if k'/k normal field extension then field of fractions q(k[x])/q(k[x]) is still normal field extesnion