Bochner–Minlos_theorem loading ...