From Inductive Reasoning to Proof