Add subsection `Properties of Poisson Processes`