L'élément clé de la démonstration montre que l'équation est résoluble seulement si ces automorphismes sont diagonalisables.
lelemˈɑ̃ klˈe də- la- demɔ̃stʁasjˈɔ̃ mˈɔ̃tʁ kə lekwasjˈɔ̃ ɛ ʁezolˈybl sølmˈɑ̃ sˈi sez otomɔʁfˈism sˈɔ̃ djaɡonalizˈabl.