Oui, c'est correct (sauf qu'il manque des parenthèses après le symbole du produit).
Pour rédiger, signale simplement que l'ensemble des entiers de [0; 2n-1] est la réunion disjointe pour k compris entre 0 et n-1 des ensembles à deux éléments {k; 2n-1-k}, ce que tu peux d'ailleurs aisément démontrer pour plus de rigueur.
Cette affirmation garantit qu'on peut bien faire le regroupement des facteurs qui nous arrange, qu'on n'oublie ce faisant aucun facteur, et qu'aucun facteur n'est compté deux fois!