On Prebox Module Topologies

Let $R$ be a complete topological division ring whose topology is determined by a real-valued valuation, and let $M$ be a vector space over $R$. It is proved that $M$ admits a Hausdorff module topology preceding the box topology in the lattice of all module topologies if and only if the dimension of the vector space $M$ over $R$ is a measurable cardinal.