Theorem 8.5. Assuming that:

Then K is the completion of a global field.