Существует x такой что x y