This theorem characterises smooth [orthogonal projection](/theorems/437) bundle endomorphisms by fibrewise self-adjointness and idempotence. It gives the vector-bundle analogue of the [Hilbert space](/page/Hilbert%20Space) criterion for orthogonal projection operators.