公式が事実無根だと否定したら認めたことになるって意味不明なんだが