In this paper, introducing the notion of topologically simple pro $C^*$-algebras, we show that direct product of $C^*$-algebras $K(H_i)$, as the set of all compact operators on a Hilbert space $H_i$, is a topologically simple pro $C^*$-algebra. Applying this fact, we prove that the set of all bounded elements of a certain class of Hilbert modules are dense in the same module.
"A certain class of pro $C^*$-algebras and bounded elements of a Hilbert module." Tbilisi Math. J. 14 (2) 59 - 64, June 2021. https://doi.org/10.32513/tmj/19322008122