否定で定義してはいけない