Хотите фокус:
есть три числа a=b+c, и b не равно 0.
докажем что a=c
умножим сначала на (a-c):
a(a-c)=(b+c)(a-c),
a^2-ac=ab+ac-bc-c^2 ab влево
a^2-ac-ab=ac-bc-c^2
выносим за скобки a и с
a(a-b-c)=c(a-b-c)
a=c
Круто, да?