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