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.