Added a proof by induction