let A be a nonempty set such that

A *B = A *C show that B = C

A*B = A*C.

Divide both sides by A:
B = C.