Search: let A be a nonempty

let A be a nonempty set such that A *B = A *C show that B = C