sufficient descent condition