This document proves that if a group G has the property that whenever elements a, b, c satisfy ab = ca, then b = c, it follows that G is an abelian (commutative) group. It does this by assuming elements a, b, c satisfy the cancellation property ab = ca, then showing this implies b = c and b commutes with a, so the group is abelian.