>433
そう言うの既にあるけど、あらゆる組み合わせを総当りで試すのでは
ろくな定理を発見できないと言う状況じゃなかったっけ？

まともな役に立ちそうな定理かどうか判断させるのが難しいんじゃ？