A proof of the smoothing properties of the positive part of Boltzmann's kernel