>>125
それを言うならピタゴラスの定理だって完全証明はないんじゃないの？
完全証明なんていらないってのがほとんどの数学者の意見だろう。

まあ、ケアレスミスのチェックにあれば便利というくらいで。
ただし、２０万行も書かなきゃなんないのなら論外。