a = 2
a^2 = 2a                     { *a }
a^2 - 4 = 2a - 4             { -4 }
(a + 2)(a - 2) = 2(a - 2)    { factorising }
a + 2 = 2                    { /(a-2) }
but a = 2 so
2 + 2 = 2
4 = 2