Речник на българския език
биха прогресирали е производна форма на прогресирам (условно наклонение, 3 л., мн. ч.).