Item6
If \(S_1 \perp S_2\) we call \(P\) and orthogonal projector. We proved that a projector \(P\) is orthogonal if, and only if, \(P=P^\star\text{.}\)
in-context