Proposition 0.0.1  If $P\mathbf{v}=\text{Proj}_W(\mathbf{v})\ \forall \mathbf{v}\in\mathbb{C}^n$, then $(I-P)\mathbf{v} = \text{Proj}_{W^\perp}(\mathbf{v})$.