Foro de consultas sobre parciales y exámenes

Hola, con unos amigos hicimos este ejercicio y nos quedó distinto a la solución. Primero, queremos saber si lo que nosotros hicimos está bien. Y segundo, preguntar si la solución está bien, porque nos pareció que hay casos en los que se puede ir de rango con el código que hay en la solución, en la instrucción "ln.cars[i+1]" porque está dentro de un "for i:= ln.tope to columna", entonces me parece que la primera vez que se vaya a ejecutar el for, se va de rango, no? Bueno, les paso lo que hicimos nosotros para que nos puedan responder si está bien o no:

procedure InsertarCharEnLinea (c : caracter; columna : RangoColumna; VAR ln : Linea; VAR pc : PosibleCaracter);
VAR
i : Integer;
BEGIN
if ln.tope+1>MAXCOL then
begin
pc.esCaracter := true;
pc.c := ln.cars[ln.tope];
end else
begin
pc.esCaracter := false;
ln.tope := ln.tope+1;
end;
for i:= ln.tope downto (columna+1) do
ln.cars[i] := ln.cars[i-1];
ln.cars[columna] := c;
END;