>>371
画面は人間が見るためだから、自動定理検証だったら画面のデータだけ見ていればいいんじゃないだろうか。