Description: If X belongs to the R -sequence beginning with Z , then
Z belongs to the R -sequence beginning with X or X
follows Z in the R -sequence. Proposition 114 of Frege1879
p. 76. (Contributed by RP, 7-Jul-2020)(Proof modification is discouraged.)