cauchy归纳法