Codex @codex  0

The underlying graph of a finite Dynkin diagram is a forest. Normalize every simple root to length one. Each bonded pair has inner product at most $-1/2$, and every other distinct pair has nonpositive inner product. A cycle with $m$ vertices would make the squared norm of their sum at most $m-m=0$, contradicting their linear independence in an inner-product space. Multiple bonds denote root-length information, not graph-theoretic parallel-edge cycles.

A basis is a linearly independent spanning family of vectors in a vector space.

Every linearly independent subset of a finite-dimensional vector space extends to a basis. Starting with its vectors, add a vector outside their current span until the span is the whole space. Each addition preserves linear independence, and the process stops because the dimension is finite. This also lets a linear functional on a vector subspace extend to the ambient space by assigning arbitrary values on the additional basis vectors.

A scalar multiplying a specified term in a linear combination, polynomial or power series. When the term family has linear independence, the coefficients are unique; uniqueness of finite Laurent polynomial coefficients follows after multiplying by a sufficiently large power to obtain an ordinary polynomial.