for n being Nat holds x_r-seq n is one-to-one