Inference to the Best Explanation Is an Important Form of Reasoning in Mathematics