Description: If C follows A in the transitive closure of R and B follows C in R , then B follows A in the transitive closure of R . Similar to Proposition 96 of Frege1879 p. 71. Compare with frege96 . (Contributed by RP, 15-Jul-2020)