PROCEDURE HORNERS(N,X:INTEGER;A:AA;VAR P:INTEGER);
    VAR I:INTEGER;
    BEGIN
      P:=A[N];
      FOR I:=N-1 DOWNTO 0 DO P:=P*X+A[I]
    END;