Translation of Closed Set in Topological Vector Space is Closed Set

Theorem
Let $K$ be a topological field.

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

Let $F$ be a closed set in $X$.

Let $x \in X$.

Then $F + x$ is a closed set in $X$.