Si donc
est état propre de l'observable
avec
la valeur propre
:
il en résulte immédiatement :
quelle que soit la permutation induite . La valeur propre est donc apparemment dégénérée, puisqu'il existe permutations indépendantes. L'ordre de dégénérescence est égal à . Cette dégénérescence systématique de toute valeur propre s'appelle la dégénérescence d'échange.