Text this: Orthogonal sets and polar methods in linear algebra :