Field/Uniqueness of negative and inverse element/Fact

Suppose $K$ is a field. Then for every element $x\in K$ the element $y$ fulfilling $x+y=0$ is uniquely determined. For $x\ne 0$ the element $z$ fulfilling $xz=1$ is also uniquely determined.

Write a proof 2, Write another proof