Symmetric Bilinear Form can be Diagonalized

Theorem
Let $\mathbb K$ be a field.

Let $V$ be a vector space over $\mathbb K$ of finite dimension $n>0$.

Let $f$ be a symmetric bilinear form on $V$.

Then there exists an ordered basis for which the relative matrix of $f$ is diagonal.