Let \operatorname{Id}_I : I \to I denote the identity map and observe that the product map \operatorname{Id}_I \times \operatorname{In}_H : I \times H \to I \times C is a TVS-embedding whose image is dense in I \times C.
