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\neq 0$ the element ${}z$ fulfilling ${}xz=1$ is also uniquely determined.

Write a proof 2, Write another proof