Empty Set is Linearly Independent

Theorem
The empty set is a linearly independent set.

Proof
There are no sequences at all of $$n$$ terms of the empty set for any $$n > 0$$.

Hence the result holds vacuously.