let A be a nonempty set such that

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

Divide both sides of Eq by A.