Palm-Khintchine_theorem loading ...