Come capire fuori dal limite nel seguente contesto teorico?

Question

Considera la seguente fase di inizializzazione del ciclo invariante per la procedura di unione

Inizializzazione: Prima della prima iterazione del loop, noi abbiamo$ k = p $, in modo che il subarray $ A [p .. k - 1] $ è vuoto. Questo subarray vuoto contiene i k- p = 0 più piccoli elementi di $ L $ e $ R $, e dopo$ i = j = 1 $, Entrambi $ L [i] $ e $ R [j] $ sono gli elementi più piccoli dei loro array che non sono stati copiati di nuovo $ A $.

Ho dubbi nell'affermazione di cui sopra che se $ k = p $, quindi array $ A [p..p-1] $ è impossibile e quindi l'ulteriore argomento non può procedere, il che non è accaduto. Dove sto sbagliando?