 Tsen's theorem).formula_239 has order 2 (a special case of the theorem of Frobenius).Finally, if "k" is a nonarchimedean local field (for example, formula_240), then formula_241 through the invariant map.