Group/Inverse element/Unique/Fact

< Group < Inverse element < Unique

Let be a group.

Then, for every

, the element fulfilling

is uniquely determined.