Именно потому, что Y никогда не может быть отрицательным, проверка y>=0 лишняя. А программа, конечно будет работать. Можно еще миллион ненужных логических выражений добавить в условие, таких чтобы их значение всегда истинно было, например (1=1) and (2=2) and (3>1), и все равно программа будет работать правильно ))))