Field/Uniqueness of negative and inverse element/Fact