Subspaces, angles and pairs of orthogonal projections

We give a new proof for the Wedin theorem on the simultaneous unitary similarity transformation of two orthogonal projections and show that it is equivalent to Halmos' theorem on the unitary equivalence of projection pairs. As a consequence of these theorems, we derive several results on pairs of orthogonal projections, relative subspace positions and oblique projections as well.