>>489
自動証明ってのは、プログラムを生成するプログラムを書くような
ものなんだよ。