Description: The square of 1 is 1. (Contributed by NM, 22-Aug-1999)
Ref | Expression | ||
---|---|---|---|
Assertion | sq1 | $${\u22a2}{1}^{2}=1$$ |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | 2z | $${\u22a2}2\in \mathbb{Z}$$ | |
2 | 1exp | $${\u22a2}2\in \mathbb{Z}\to {1}^{2}=1$$ | |
3 | 1 2 | ax-mp | $${\u22a2}{1}^{2}=1$$ |