for n being Nat holds sqr (cot (x_r-seq n)) is one-to-one