Finally, we want to point out that the proof of Lemma REF  — which can, for instance, be found in [1]} — can be seen as an application of the following classical result on (radar) ambiguity functions.
