Description: If X has a property A that is hereditary in the R
-sequence, and if Y follows X in the R -sequence, then
Y has property A . This is a form of induction attributed to
Jakob Bernoulli. Proposition 81 of Frege1879 p. 63. (Contributed by RP, 1-Jul-2020)(Revised by RP, 5-Jul-2020)(Proof modification is discouraged.)