昔から疑問なんだが、数学の定理って証明する必要あるのか?