// $G$ を半群とする（結合法則をみたす演算を備える）. $\forall a , b \in G , \exists! l \in G ~~ \mathrm{s.t.} ~~ la = b$ および $\forall a , b \in G , \exists! r \in G ~~ \mathrm{s.t.} ~~ ar = b$ を満たしているとする. これを除法が一意的に…