According to the Green–Tao theorem:
there exist arbitrarily long sequences of primes in arithmetic progression.
However, one of the properties of Green-Tao theorem is:
Any given arithmetic progression of primes has a finite length.
I can only read two contradictory sentences. What am I missing here?
The theorem says that, for each $n$, there is a sequence of $n$ primes in arithmetic progression. This in no way contradicts the fact that there is no infinite arithmetic sequence such that all of its terms are prime numbers.