  Benedicks theorem for the Weyl Transform states: If the set of points where a
function is nonzero is of finite measure, and its Weyl transform is a finite
rank operator, then the function is identically zero. A new, more transparent
proof of this theorem is given.
