Salut,
A rédiger, c'est on ne peut plus "concon" :
Si la décomposition en facteurs premiers de

sont

avec

premiers
distincts ;

premiers
distincts et

, alors le fait que

et

sont premiers entre eux signifie que les

sont
distincts des

donc ça dit très exactement que la décomposition en facteurs premiers de

c'est

.
Or, comme

, la décomposition en facteurs premiers de

on peut aussi l'obtenir en prenant celle de

:

avec

premiers
distincts ;

qui donne

.
Et arrivé à ce point,
l'unicité de cette fameuse décomposition permet d'en déduire que les

et les

, ce sont tous des

, c'est à dire tous des multiples de

ce qui signifie que

et

sont des puissances k-ième de nombre entiers.
Bref, en résumé, la soit disant "preuve", en fait, elle ne fait que "brasser du vent" et à peu prés tout le monde écrit simplement que "c'est évident via l'unicité de la décomposition en facteur premiers" plutôt que de se faire chier avec le type de jargon ci dessus et tout le charabia d'indices et d'exposant qui, au fond, ne rend pas franchement le truc plus clair, bien au contraire, ça donne l'impression que le truc est compliqué alors que c'est complètement évident mais que la symbolique mathématique "classique" (avec les indices et tout le bordel) n'est pas super adaptée pour transcrire le raisonnement.