https://9dok.net/document/zpnkg1ro-special-classes-topological-vector-spaces-subsequent-ones-priori.html