Bochner–Minlos theorem