Description: If from the proposition that x has property A , whatever x
may be, it can be inferred that every result of an application of the
procedure R to x has property A , then property A is
hereditary in the R -sequence. Proposition 75 of Frege1879 p. 60.
(Contributed by RP, 28-Mar-2020)(Proof modification is discouraged.)