proof by induction | ScratchStats