Description: Lemma for frege133 . Proposition 132 of Frege1879 p. 86. (Contributed by RP, 9-Jul-2020) (Proof modification is discouraged.)