8. 数学家们为什么会认为某些定理和证明是美丽的？