1: \begin{proof} It suffices to prove the convergence for $ \PP^{(N,K)} \big( x_1(t) \big)$. Since $\xi_{ij}$ is in the domain of attraction of $\Psi_\alpha$ and $x_\xi = 0$, for every $z > 0$,
2: \begin{equation} \label{eq:ousertattraction}
3: \P \left( \xi_{ \sigma_1(t) j} (t) > -z a_N \right) \sim z^{\alpha} \P \left( \xi_{ \sigma_1(t) j} (t) > - a_N \right) \sim \frac{z^{\alpha}}{N} \qquad \quad \text{ as } N \to \infty.
4: \end{equation}
5: It is a classical result of extreme value theory \cite{Resnick1987} that, as $N \to \infty$, the point process
6: $$
7: \PP^{(N,K)} \stackrel{\rm law}{=}\sum_{j =1}^{N-KM} \delta_{ \left\{ a_N^{-1} \xi_{1, j } (t) \right\} }.
8: $$
9: converges in distribution to a PPP with intensity measure $|z|^{\alpha-1} \alpha \textbf{1}_{\{z < 0\}} \text{d}z$, as claimed.
10: A necessary and sufficient condition for the convergence of the $\ell$th moment is that the r.v. $\xi_{ij}$ has itself finite $\ell$th moment, which is a consequence of \ref{first_hypotesis}. Proposition~2.1 in \cite{Resnick1987} proves this statement for the maxima of i.i.d. random variables in the domain of attraction of $\Psi_\alpha$.
11: %Although it seems a classical result in extreme value theory, we have not found in the literature any proof concerning the moment convergence of the $K$th maxima. Yet, a rigorous proof can be obtained by a line-by-line adaptation of Proposition~2.1 in \cite{Resnick1987}. For this reason, we decide to omit this proof and leave the details to the reader.
12:
13: Now, a line-by-line adaptation of Proposition~2.1 in \cite{Resnick1987} yields the last claim.
14: \end{proof}
15: