“…In [20], Hensel introduced a field with a valuation in which it does not have the Archimedean property. By a non-Archimedean field, we mean a field K equipped with a function (valuation) | · | from K to [0, ∞) such that |r| = 0 if and only if r = 0, |rs| = |r||s| and |r + s| ≤ max{|r|, |s|} for all r, s ∈ K. Clearly, |1| = | − 1| = 1 and |n| ≤ 1 for all n ∈ N. Note that |n| ≤ 1 for each integer n. From now on, we assume that | · | is non-trivial, i.e., there exists an a 0 ∈ K such that |a 0 | = 0, 1.…”