Considere o trecho de pseudocódigo, no qual todas as variáveis são inteiras:

Neste contexto, considere as seguintes afirmações:

I- Ao final da execução, o valor final de x é 5.

II- Ao final da primeira iteração, o valor de z é 4.

III- Ao final da execução, o valor final de z é 18.

IV- Em todas as iterações, a condição y % x = 1 é verdadeira.

Analisadas as afirmações, estão CORRETAS apenas: