✅Ответ на задачу: условие byteAm < 0 — всегда ложь. Чтобы разобраться, давайте поднимемся по коду выше. Если выполнение теста дойдёт до операции byteAm -= headerLen, то это означает, что будет byteAm >= headerLen. Отсюда следует, что после выполнения вычитания значение byteAm никогда не будет отрицательным. Что и требовалось доказать.