前提が間違ってたら全て無駄