supported sequence is always linearly dependent. This is a particular case of a general
result about linear dependence versus independence for Gabor systems in ℓ^ 2 (Z) ℓ 2 (Z)
with modulation parameter 1/M and translation parameter N for some M, N ∈ N, M, N∈ N,
and generated by a finite sequence g in ℓ^ 2 (Z) ℓ 2 (Z) with K nonzero entries.