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