9. On peut donner une preuve élémentaire directe de l’égalité d(_n) = n - 1. Esquissons simplement la preuve de la majoration d(_n) ≤ n - 1. Le groupe _n agit naturellement sur l’hyperplan de Cⁿ d’équation x₁ + + x_n = 0 et cette représentation est irréductible. La restriction de cette représentation à _n reste irréductible si n ≥ 6.