>取るに足らない、計算機を使う必要も
>ない証明をべつにして。

普通証明は、数学者が頭で考えたり紙に書いて行います。
計算機が使われるのは、定理の数から言って、まれですし、
使われると言っても人間が主役で機械は脇役です。
さらに、機械は証明を考える能力を持っていません。

そして、ジョルダンの曲線定理は、機械での証明検証プログラムを作るのに
１０年以上かかっています。
本を読んで自分の頭で確認すれば、基礎からやっても３〜４年ですみますよ。