The projective normalizer evaluates to `1 + q + ⋯ + q^n`, and `(1 + ⋯ + q^n)(q − 1) = q^(n+1) − 1`.

Initializing...

The projective normalizer evaluates to `1 + q + ⋯ + q^n`, and `(1 + ⋯ + q^n)(q − 1) = q^(n+1) − 1`. · Prove2Me