どっちも正しくて、どっちも正しくない
強要してない証明は悪魔の証明のようなもの