外部検証が満たされたことをもって内部整合の検査を免除する誤り