 A stronger result of sequential density can be proven more constructively by a convolution argument.The natural inclusion formula_307 is a continuous injection whose image is dense in its codomain, so the transpose formula_308 is also a continuous injection.Thus, the image of formula_309, denoted by formula_310, forms a space of distributions when it is endowed with the strong dual topology of formula_311 (transferred to it via the transpose map formula_312, so formula_313's topology is finer than the subspace topology that this set inherits from formula_46).