Natural numbers/Proofs/Induction principle/Fact