Uncertainty principle for Weyl transform and Fourier–Wigner transform

We prove an uncertainty type principle for finite linear combinations of Fourier--Wigner transforms. This is equivalent to proving a finite rank theorem for the Weyl transform.