(related to Proposition: Uniqueness Of Natural One)

- By the existence of natural one, we have $x=x\cdot 1$ all $x\in\mathbb N\quad ( * ).$
- Suppose, \(1^{\ast}\) is any (other) natural number, for which $x=x\cdot 1^{\ast}$ all $x\in\mathbb N\quad ( * * ).$
- By $( * )$, we have $1^{\ast}=1^{\ast}\cdot 1.$
- Since the multiplication of natural numbers is commutative, we get $1^{\ast}=1\cdot 1^{\ast}.$
- By $( * * )$ we get $1^{\ast}=1.$
- Thus, the natural number one $1$ is unique.∎