Description: If F is a function, A is the successor of X , and B is
the successor of X , then A and B are the same (or B
follows A in the transitive closure of F ). Similar to
Proposition 122 of Frege1879 p. 79. Compare with frege122 .
(Contributed by RP, 15-Jul-2020)