だから、他人を納得させるのにもプログラムの場合、証明は不要だと言っているの。

数学者からみたら物笑いだよ。あんな簡単なことに証明とか。