Benutzer:Abrankov/Projektive Quadriken/Hauptachsentransformation/Hilfsatz/Fakt

Sei ${}K$ ein Körper mit ${}charK\neq 2$, ${}V$ ein (endlich-dimensionaler) K-Vektorraum und ${}s$ eine symmetrische Bilinearform auf ${}V$. Dann gibt es eine Basis ${}(v_{1},\ldots ,v_{n})$ von ${}V$ mit

${}s(v_{i},v_{j})=0{\text{ für }}i\neq j$.