0

Convince me that this vector theorem is true
code-golfmathlinear-algebra
Background Information
From Wikipedia:
A sequence of vectors \$\mathbf v_1,\mathbf v_2,\mathbf v_3,\dots,\mathbf v_k\$ from a vector space \$V\$ is said to be linearly dependent, if there exists scalars \$a_1,a_2,\dots,a_k\...