Proof. [025F]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Let us consider a map given by
It is sufficient to see that is finite. Let be distinct elements of . We choose with for . If , then for all . Therefore, we obtain
for all . In particular, are linearly independent. Therefore, we have . ∎