In case f is the indicator function of an interval [ a, b ], the operator f (A) is a self-adjoint projection onto the subspace of generalized eigenvectors of A with eigenvalue in [ a, b ]. That subspace can be interpreted as the quantum analogue of the classical proposition