No que diz respeito à estrutura de controle while ... do ..., utilizada em programas codificados em Pascal, analise as afirmativas a seguir. I a execução da estrutura permanece em loop, enquanto o teste da condição retorna o valor lógico TRUE. II a execução da estrutura sai do loop, quando o teste da condição retorna o valor lógico FALSE. III o bloco de instruções dentro do loop, é executado pelo menos uma vez. Está correto APENAS o que se afirma na seguinte alternativa: