 It is also, by the decomposition we first stated, a basis for "H".Theorem 3.If "H" a finite-dimensional Hilbert space, and formula_23 a commutative set of operators, each of which is diagonalisable; then the operators can be simultaneously diagonalised.