в добавок, паскаль - жутко капризная штука; не раз и не два видел, что при ограниченном использовании ячеек бывает такое, что паскаль требует для проверки ификом последующую ячейку, а ее как бы и нету. а иногда и вовсе начинает сходить с ума, проверяя то, что явно не проходит по предполагаемым размерам массива. в общем, вердикт - не обязательно, но если мистика случается, отчего бы не перестраховаться?