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