Jump to content

Field/Uniqueness of negative and inverse element/Fact/Proof2

From Wikiversity
Proof

Let be given and suppose that and are elements fulfilling . Then

which means altogether . For the second part see exercise.