Bochner-Minlos theorem