Dilation of Compact Set in Topological Vector Space is Compact

Theorem
Let $k$ be a topological field.

Let $X$ be a topological vector space over $X$.

Let $K$ be a compact subset of $X$.

Let $t \in k \setminus \set {0_k}$.

Then $t K$ is compact.