The first principle of finite induction