No comando do-while, a sequência de comandos é definida antes do teste da condição, diferente dos outros comando condicionais e de repetição....

Sim, a afirmação está correta. No comando do-while, a sequência de comandos é definida antes do teste da condição, o que o torna diferente dos outros comandos condicionais e de repetição. Isso significa que o teste da condição é o último comando da repetição do-while. Sendo assim, o compilador entende que a definição do comando do-while já terminou e exige que se coloque o operador de ponto e vírgula (;) após a condição.