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

x <- 2
y <- 17
z <- 0
para i de 1 até 3 faça
se y % x = 1 então
z <- z + y / x
senão
z <- z + x * i
fimse
x <- x + 1
fimpara

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