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
either A and B are the same or B follows A in the
transitive closure of R . Similar to Proposition 108 of Frege1879
p. 74. Compare with frege108 . (Contributed by RP, 15-Jul-2020)