https://1library.net/document/q7wmn3lo-normed-vector-spaces-normed-vector-spaces.html