 By induction over dimension we have that there are linearly independent bases "Q"1, "Q"2 for the subspaces, which demonstrate that the operators in formula_56 can be simultaneously diagonalisable on the subspaces.Clearly then formula_58 demonstrates that the operators in formula_25 can be simultaneously diagonalised.Notice we did not have to directly use the machinery of matrices at all in this proof.