Exercise 14, § 2

Generalize the results of No. 2 and No. 3 to topological vector spaces E over a discrete division ring K, such that there exists a fundamental system of balanced neighbourhoods of 0 in E (i.e. of neighbourhoods V such that K.V = V).