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