Negative of Element in Field is Unique/Proof 1

Proof
By definition, a field is a ring whose ring product less zero is an abelian group.

The result follows from Ring Negative is Unique.