Multiple Recurrence Theorem for Nilpotent Group Actions. A. Leibman (1994) Geometric and functional analysis