eolas/zk/Additive_inverse_property.md

---
tags:
  - theorems
---

# Additive inverse property

**Let $a$ represent any member of $\mathbb{Z}$. Then there is a unique member of
$\mathbb{Z}$ $-a$ such that:**

$$ a + (-a) = 0 $$

The sum of a number and it's negative (called **the additive inverse**) is
always zero.
Initial commit, pure MD 2022-04-23 13:26:53 +01:00			`---`
Reindexing 2022-09-06 13:26:44 +01:00			`tags:`
			`- theorems`
Initial commit, pure MD 2022-04-23 13:26:53 +01:00			`---`

Autosave: 2024-10-18 20:00:02 2024-10-18 20:00:02 +01:00			`# Additive inverse property`

reformat all files to 80 char line length 2024-02-02 15:58:13 +00:00			`**Let $a$ represent any member of $\mathbb{Z}$. Then there is a unique member of`
			`$\mathbb{Z}$ $-a$ such that:**`
Initial commit, pure MD 2022-04-23 13:26:53 +01:00
			`$$ a + (-a) = 0 $$`

reformat all files to 80 char line length 2024-02-02 15:58:13 +00:00			`The sum of a number and it's negative (called the additive inverse) is`
			`always zero.`