Is every seminorm induced by a linear operator into a normed space?

Suppose that $p$ is a seminorm on $X$. Let $$ K=\{x\in X:\ p(x)=0\}. $$ Let $Y=X/K$, i.e. $Y$ is the vector space of the classes $x+K$. On $Y$, define $$\|x+K\|=p(x).$$ This is well-defined, because if $x_1+K=x_2+K$, this means that $p(x_1-x_2)=0$, so by the reverse triangle inequality $$ |p(x_1)-p(x_2)|\leq p(x_1-x_2)=0 $$ and so $p(x_1)=p(x_2)$. It is now easy to check that $\|\cdot\|$ is a norm on $Y$. If $\pi$ is the quotient map $\pi(x)=x+K$, then $\pi$ is linear and $$ p(x)=\|\pi(x)\|, \ \ \ x\in X. $$

Let $p$ be a seminorm on a space $X$. Then $X/ \{x\in X\colon p(x)=0\}$ is a normed space under the norm $\|\pi(x)\|=p(x)$. Then the seminorm $p$ is implemented by the quotient map $\pi$.