歴史上殆どの有名問題の証明の場合、
いざ証明されたら簡単化作業が始まり
最終的には初等的に近い平易なものか、
積み上げ的な努力さえすれば必ず理解
できる堅固なフレームワークの上の
簡単なexampleになる場合が多い。

しかし最近証明されたとされるものに
ついて、本体を含めそれが参照してい
る論文（証明に必要なすべてのワンセット）
の入手自体が難しいものが多い。