1 procedimento proc (var V[], A, B: inteiro)
2 var temp: inteiro
3 inicio
4 se (B – A >= 1) então
5 temp ² m [A]
6 m[A] ² m[B]
7 m[B] ² temp
8 se (B – A > 2) então
9 proc (m,A+1,B-1)
10 fimse
11 fimse
12 fim

Julgue o item subsequente, a respeito do procedimento acima, em que os parâmetros são passados por referência, V[] é um vetor de inteiros e A e B são do tipo inteiro.

A condição se (B – A >= 1) então é suficiente para garantir que o procedimento em questão não tenha execução infinita.