Бригада из 8 рабочих выполняет задание за 12,5 часов. За сколько часов будет выполнено задание, если количество рабочих увеличат до 20? Составьте пропорцию.