>>359
うーん、専門的には自動定理検証？そういうソフトウェアに入力するんです。でも、
「3!?」とか答えになるんですか？とコンピュータに聞いてもエラーなので、
人間の頭に全部入力してチェックするとも言ったのは動画の通り。