Poincaré recurrence theorem - theorem