On démontre que l'application F : L^1 -> L^1 est injective en calculant la transformée de la gaussienne (via le théorème de Cauchy des fonctions holomorphes et le théorème de convergence dominée), en utilisant le théorème d'approximation de l'unité dans L^1 et quelques propriétés (relativement faciles) de la transformée de Fourier.