Palm–Khintchine_theorem loading ...