Seminorm Maps Zero Vector to Zero

Theorem
Let $\Bbb F$ be a subfield of $\C$.

Let $X$ be a vector space of $\Bbb F$.

Let $p$ be a seminorm on $X$.

Then $\map p 0 = 0$.

Proof
Let $x \in X$.

Then, we have: