4. Let V be a finite dimensional inner product space, and let W be a linear subspace of V.

Show that any orthonormal basis {w₁,..., wk} of W can be enlarged to an orthonormal basis

{w₁,, wk, U₁₁, ₁} of V, with k + 1 = dimV.

....