 Since the consequent is the reconfigured Lemma on Successors, Frege can prove this Lemma by proving both that \(0\) falls under \(Q\) (cf. Gg I, Theorem 154) and that \(Q\) is hereditary on the natural numbers (cf. Gg I, Theorem 150): 