Demostración de álgebra moderna sobre grupos abelianos

Sea G un grupo con la siguiente propiedad "toda vez que a, b, c estén en G y ab=ca entonces b=c". Pruebe que G es abeliano.