Category:Dilation of Closed Set in Topological Vector Space is Closed Set