# Invertible Integers under Multiplication/Corollary 1

## Corollary to Invertible Integers under Multiplication

Let $a, b \in \Z$ such that $a b = 1$.

Then $a = b = \pm 1$.

## Proof

Let $a b = 1$.

From Integer Multiplication Identity is One, $1$ is the identity element for $\Z$.

Then, by definition, both $a$ and $b$ are invertible elements of $\Z$ for multiplication.

So by Invertible Integers under Multiplication, $a = \pm 1$ and $b = \pm 1$.

As $-1 \times 1 = -1$, it follows that either:

$a = b = 1$

or

$a = b = -1$.

$\blacksquare$