А, пардон, Вы перед циклом сделали n := -1. Можно, но не красиво - шаманство. n - количество элементов, и инвариант на него - n >= 0 по определению. К тому же, если бы мы выполняли не подсчет, а какое-то другое более сложное действие с данными из потока, то такой номер бы не прошел.