 There are other versions which do.We can strengthen the above to the case where all the operators merely commute with their adjoint; in this case we remove the term "orthogonal" from the diagonalisation.There are weaker results for operators arising from representations due to Weyl–Peter.