What is proof by induction?