Because the number of possible values for these sequences are finite, both the formula_11 sequence, which is mod formula_3, and formula_9 sequence will eventually repeat, even though we do not know the latter.