Email Post: Proof of a Recurrence Theorem for Strongly Transitive Systems