Чтобы узнать, сколько километров проехал велосипедист, нужно из общей длины маршрута вычесть оставшееся расстояние.
$$80 - 25 = 55$$ (км)
Ответ: 55 км.