Poincaré recurrence theorem and the strong CP problem