>>706
もしそれが理由なら自分で適当と思う時間をかけてやってみればいいだけでは？
全部証明しなくてもトレーニングにはなるから
そもそも証明にかかる時間は個人差多すぎて他人のは参考になるまい