Reflexive Reduction of Relation Compatible with Group Operation is Compatible/Proof 2

Proof
From the Cancellation Laws, $\circ$ is a cancellable operation.

The result then follows directly from Reflexive Reduction of Relation Compatible with Cancellable Operation is Compatible.