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