Symmetric bilinear form/Orthogonal basis/Fact

Let ${}K$ be a field, and let ${}V$ be a finite-dimensional ${}K$ -vector space endowed with a symmetric bilinear form ${}\left\langle -,-\right\rangle$ .

Then there exists an

on

{}V

.