Description: Lemma for frege102 . Proposition 101 of Frege1879 p. 72. (Contributed by RP, 7-Jul-2020) (Proof modification is discouraged.)