Poincaré recurrence theorem — theorem