Kreyzig proves the following lemma:
Let $(x_n)$ be a weakly convergent sequence in a normed space $X$, then the weak limit $x$ of $(x_n)$ is unique.
He begins by supposing $(x_n)$ converges weakly to two limits, say $x$ and $y$. By supposition, this means $f(x_n) \rightarrow f(x)$ and $f(x_n) \rightarrow f(y)$. $f$ is linear. So $$f(x) - f(y) = f(x-y) = 0$$
Then Kreyzig uses Hahn-Banach theorem to assert this implies $x-y = 0$. I don't understand why this doesn't just follow from $f$ being linear, don't linear maps between normed spaces need to preserve 0 as they do for inner product spaces?