Description: If either A and C are the same or C follows A in the
transitive closure of RandB is the successor to C , then
B follows A in the transitive closure of R . Similar to
Proposition 102 of Frege1879 p. 72. Compare with frege102 .
(Contributed by RP, 15-Jul-2020)