簡素難題

　ある定理の証明が、どれだけ簡素で分かりやすいか
　というものを表した数値は存在するか。

　数式の変形等はどこまで仔細を省略してもよいのか
　という基準はあるか。

　証明や利用料なしで万人が利用できる、フリー定理
　の一覧を作ることは可能か。

以上の簡素難題が解決されない数学は、永遠に
頭の悪い数学として皆に罵られる。