I'm trying to prove this problem but I'm not sure whether or not my answer is working. The problem states

"Let G be a group, with the following property: Whenever a, b, and c belong to G and ab=ca, then b=c. Prove that G is abelian."

I have solved for b and c using inverses, and got that b=a-1(ca) and c=(ab)a-1. The second half of the problem states that b=c. So I wanted to use replacement to show that the group is abelian. But I'm not sure if that would prove G is abelian for any arbitrary b and c or if its only commutative for this exact pair.