>>293
陰性証明でいけるはず