Файл размером 18,75 Гбайт скачался за 3 часа (скорость загрузки считайте постоянной). За сколько часов скачается файл размером 12,5 Гбайт, если скорость загрузки останется прежней?