 This asserts that every natural number \(n\) precedes the number of numbers in the predecessor series ending with \(n\). Frege can establish Theorem 5 by proving the Lemma on Successors and by showing that the successor of a natural number is itself a natural number.