消去律

$G$ 为群, $G$ 适用消去律, $\forall a,b,c\in G$,

1. 若 $ab=ac$, 则 $b=c$;
2. 若 $ba=ca$, 则 $b=c$.