>これは証明を直接見出すためのアルゴリズム
>ではないです。

定理とは、証明が与えられて、初めて「定理」と呼ばれる。
証明可能か不可能か、わかっていない段階で、
「証明を直接見出すためのアルゴリズム」など、
ナンセンスな考え方。