Natural numbers/Proofs/Induction principle/Fact/Proof2