公式が否定してないとかいう無敵の論法やめろ