归纳证明

proof by induction