Julgue os itens subsequentes, a respeito do procedimento...

Julgue os itens subsequentes, 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.