Unique things in Group

If \(h \in G\) is an identity of group \(G\), then \(h = e_G\)

\[ h = h \cdot e_G = e_G \]

1. forall \(a\), holds \(a = a \cdot e_G\)
2. forall \(a\), holds \(a = h \cdot a\)(\(h\) is an identity).

Let \(f\) has inverses \(a\) and \(b\), then \(a = b\)

\[ f \cdot a = e = f \cdot b \]

By definition of inverse, \(f \cdot f^{-1} = e\), hence

1. \(f \cdot a = e\)
2. \(f \cdot b = e\)

Then cancel \(f\), only \(a = b\) make sense