This theorem characterises [orthogonal projection](/theorems/437) operators on a [Hilbert space](/page/Hilbert%20Space) as exactly the bounded linear operators that are idempotent and self-adjoint. It connects the geometric projection onto a closed subspace with an intrinsic operator-theoretic test.