Halmos Recurrence Theorem