Дополню, что y существует в пределах скобок второго цикла, после того как он выполнен и начинается новая итерация с x, то у начинает существовать заново (что равно по сути инициализации новой переменной)
Вывод находится во внутреннем цикле, и в нем x не меняется.
Внутренний цикл повторяется два раза - поэтому и x по два раза одинаковый.
y же будет объявляться заново при каждом повторении внешнего цикла - то есть для каждого нового x он будет сначала равен 4.