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