Proving Theorems in Real Number Field by Means of Continual Induction

• 用连续归纳法证明实数系中的定理