であるならば、formula_62を棄却する。