Description: If Y belongs to the R -sequence beginning with Z , then
every result of an application of the procedure R to Y belongs
to the R -sequence beginning with Z . Proposition 108 of
Frege1879 p. 74. (Contributed by RP, 7-Jul-2020)(Proof modification is discouraged.)