Any orthonormal set extends to an orthonormal basis, over any field of characteristic not $2$. This is a special case of Witt's theorem.
Bjorn Poonen
- 23.8k
- 7
- 90
- 109