The nonzero scalar multiples of a nonzero vector over a finite field `k` form a finite set of `|k| − 1` nonzero vectors.

Initializing...

The nonzero scalar multiples of a nonzero vector over a finite field `k` form a finite set of `|k| − 1` nonzero vectors. · Prove2Me