x=2+y

x²-xy-x-y=2

(2+y)²-(2+y)*y-(2+y)-y=2

4+4y+y²-(2y+y²)-2-y-y=2

4+4y+y²-2y-y²-2-y-y=2

2+0=2

0=0

yєR( твердження справедливе для будь-яких значень y x, що задовільняють обидва рівняння системи

(x,y)=(2+Y,y),yєR