＞人間はそれでも証明をする。
＞機械にもおなじことはいえるでしょう。

言えません。具体的に、どんな機械がオリジナルの証明図を
構成できますか？