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