Why do mathematicians keep proving things they already know?

· New Scientist