公式が否定しないなら合ってんだろ(適当)