明らかじゃないことを明らかだと思いこむことって多いんですよね。

例えば、素因数分解の一意性を明らかだと思いこんでいる人は多いですよね。

明らかだと思いこんでいる人には証明は不要だから問題ないとは言えないと
思うんですよね。