方程式も関数も実際には何の役にも立たない
証明もそれ自体は役に立たないが、論理的思考能力を身につけるために必要
と、言われている