natural_numbers_and_induction: simpler proof
natural_numbers_and_induction: simpler proof

leanprover/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof