Certo.
O emprego correto de uma estrutura de repetição explícita exige três tarefas a serem consideradas pelo programador, sem as quais ela não funciona direito.
1ª A condição tem que ser inicializada com um valor lógico verdadeiro;
2ª A condição tem que ser testada a cada ciclo de repetições, para verificar o momento de se romper o laço;
3ª Para que as instruções possam ser repetidas é necessário que um valor da condição seja incrementado (ou lido) para que um novo teste seja feito. É o que se chama de "realimentação do loop", sem o que o laço não termina nunca.
Fonte: https://books.google.com.br/books?id=H8A0lZtqaXsC&pg=PA85&lpg=PA85&dq=estrutura+de+repeti%C3%A7%C3%A3o+expl%C3%ADcita&source=bl&ots=bEQHDsfFLH&sig=r5qyZGQcfHrg-VVSRIB6XhsQjfA&hl=pt-BR&sa=X&ved=0ahUKEwit-Jv2uKDZAhWCvZAKHUbICuwQ6AEIJzAA#v=onepage&q=estrutura%20de%20repeti%C3%A7%C3%A3o%20expl%C3%ADcita&f=false