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.