Description: Communte antecedents of frege126 . Proposition 127 of Frege1879 p. 82. (Contributed by RP, 9-Jul-2020) (Proof modification is discouraged.)