Let { | ψ ψ n ⟩ ⟩ } be a complete set of orthonormal eigenkets of the self-adjoint operator A corresponding to the set of real-valued eigenvalues { a n } . If the self-adjoint operators A and B commute, we can write