[see also: above, before
Here Ff is the previously defined Fourier transform of f.
Our result extends previously known results for nilpotent groups.
In our next theorem, we state a characterization of...... which does not seem to have been noticed previously.