Email-запись: Analogical Reasoning in Mathematical Theorems