Paszkiewicz Adam

Any self-adjoint operator is a finite linear combination of projectors