An extension to a theorem of Himmelberg

This paper extends a widely used theorem of Himmelberg to topological vector spaces whose completion have a separating dual.