Does $\langle f+h,g\rangle=\langle f,g\rangle+\langle h,g\rangle$ hold for all elements $f, g, h$ of an inner product space?

Question

Are there any exceptions?

I was thinking proof by contradiction i.e. define $\langle f,g\rangle\ \neq0$ for two orthogonal elements of the product space, but positive definiteness would require one of the two elements to be zero.

---

EDIT: I was told that additivity in the second coordinate of any inner product space $\langle f,g\rangle$ logically follows from and can be proven using only these four properties of inner product spaces:

1. $\langle f,g\rangle=\langle g,f\rangle$ (symmetry)
2. $\langle f+h,g\rangle=\langle f,g\rangle+\langle h,g\rangle$ (additivity)
3. $\langle \text{c}f,g\rangle=\text{c}\langle f,g\rangle$
4. $\langle f,f\rangle>0\,\,\forall\,\left\{f\neq0\right\}\in V$, where $V$ is some linear space (posititive definiteness).

I'm thinking that 1. and 2. imply $\langle f,g+h\rangle=\langle f,g\rangle+\langle f,h\rangle$; how do I use these axioms to explicitly verify this?

Answer 1

$\langle f,g+h\rangle = \langle g+h, f\rangle$ by symmetry. Then, $\langle g+h,f\rangle = \langle g,f\rangle + \langle h,f\rangle = \langle f,g\rangle + \langle f,h\rangle$ by additive in first coordinate and then symmetry.

Answer 2

Yes. This is the additivity property of the inner product space.