\forall k \in \mathbf{N} \quad |x_k|=|y_k|