https://123dok.net/document/z3d334de-on-certain-barrelled-normed-spaces.html