Observe o pseudocódigo abaixo demonstrado, o qual se trata de uma ordenação por inserção.

INSERTION-SORT(A)

1 for j = 2 to A • comprimento

2 __ chave =A [j]

3 __ // Inserir A [j] na sequência ordenada A [1 .. j -1].

4__ i = j - 1

5 __ while i > 0 e A [i] > chave

6 __ __ __ A [i + 1] = A [i]

7 __ __ __ i = i - 1

8 __ A [i + 1] = chave

Existem determinadas convenções que são praticadas em pseudocódigos, como é o caso do uso representativo de laços, em for e while. Versando somente acerca do segundo dos laços citados, é possível afirmar que ele começa em que linha, e contém qual(is) outra(s), respectivamente?