the columns in are orthonormal and can be extended to an orthonormal basis. This means that we can choose such that is unitary.
the columns in are orthonormal and can be extended to an orthonormal basis This means that we can choose such that is unitary.