Массив указателей, указывающих на тот же массив

Я прочитал фрагмент кода Delphi, подобный этому:

sample1  = ARRAY[1..80] OF INTEGER; 
psample =^sample1;

VAR
  function :ARRAY[1..70] OF psample;

Насколько я понимаю, программист пытается объявить массив, содержащий 70 указателей, и каждый указатель указывает в массив sample1.

Итак, когда я напишу:

function[1]^[1] := 5;
function[1]^[2] := 10;

, тогда:

function[n]^[1] := 5 
function[n]^[2] := 10; ( n = 2 to 70)

Это правильно?