Нека a=b. Имаме последователно:

a² = ab

=> a² – b²= ab – b²

=> (a+b)(a-b) = b(a-b)

Делим двете страни на равенството на (a-b) и получаваме:

a+b = b

Заместваме a с b (равни по условие):

2b = b

=> 2 = 1

Задачата представя класическия софизъм с деление на 0.