x = y                   | * x
=>      x^2 = xy                | + (x^2 - 2xy)
=>      2x^2 - 2xy = x^2 - xy   |
=>      2(x^2 - 2xy) = x^2 - xy | / (x^2 - xy)
=>      2 = 1