given: x = y
x*x = y*x
x^2 - y^2 = xy - y^2
(x+y)(x-y) = y(x-y)
x + y = y
y + y = y  (by given x=y)
2y = y
QED: 2=1