>>60
証明すべき内容は限られていますが、どれ程時間がかかるか分かりません

>>61
それは、証明ができてからでもいいのではないですか