Proof as a Tool for Learning Mathematics