A mathematician can discover a theorem