◀ ▲ ▶Branches / Number-systems-arithmetics / Corollary: `\(-(-x)=x\)`

Corollary: \(-(-x)=x\)

(related to Proposition: Uniqueness of Negative Numbers)

\(-(-x)=x\) holds for all real numbers \(x\in\mathbb R\).

Table of Contents

Proofs: 1

Mentioned in:

Proofs: 1 2

Thank you to the contributors under CC BY-SA 4.0!

Github:

References

Bibliography

1. Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983