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