Любое число a равно меньшему числу b - ложное утверждение

a=b+c
a²-ab = ab+ac-b²-bc
a²-ab-ac = ab-b²-bc
a(a-b-c)=b(a-b-c)
Разделив обе части равенства на a-b-c, найдём
a=b

Делить обе части равенства на (a-b-c) нельзя, так как по определению a=b+c, следовательно (a-b-c)=0, а на ноль делить нельзя.