The primitive vectors of `O^(n+1)` (some coordinate a unit) have coefficient measure `1

Initializing...

The primitive vectors of `O^(n+1)` (some coordinate a unit) have coefficient measure `1 - q^(-(n+1))`. · Prove2Me