Just a note that you have to be careful. The above is only true when both b and c are not 0. The reason is that division by 0 is undefined. In the above proof (c/c) is used which is 0/0 when c=0. 0/0 is undefined.
I just got shut out of physics thread by a Mentor poster who believed that:
ab = ac implies b = c for all values a. That is not correct when a is 0.