Reformulation of the theorem and sketch of the proof

From a1 and b1, the sets A and B regress, respectively, tending to infinity because between 0 and 1 they have rational infinities; the infinity of the set B is greater than the infinity of the set A when assuming the passage of time from the a, the opposite would also happen if we assumed the b as the beginning of the passage of time, therefore, they depend on the adopted referential, so, are equivalent. The k1 and k2 are at the most infinity. Substitute the most infinity of the closed interval of n, and n + 1 for K1 and K2, respectively.