 In characteristic 0, every finite extension is a simple extension.This is the primitive element theorem, which does not hold true for fields of non-zero characteristic.If a simple extension is not finite, the field "K"("s") is isomorphic to the field of rational fractions in "s" over "K".