>>368
間違いか正解かを自動定理検証が出せばいいなら正解が出るまで画面はいらないと思う。