例えば、小平邦彦は円周率が無理数であることの証明を知らなかったが、その結果は使っていた。
フィールズ賞受賞者でさえ、オブジェクト指向プログラミングの手法に従っていたのである。