  We introduce the notion of eigenstate of an operator in an abstract
C*-algebra, and prove several properties. Most significantly, if the operator
is self-adjoint, then every element of its spectrum has a corresponding
eigenstate.
