A theorem about infinitely divisible distributions