https://123dok.net/document/z3d3k937-on-some-non-archimedean-normed-linear-spaces-iv.html