---

Step * 1 1 1 1 1 of Lemma mon_nat_op_id


1. g : IMonoid
2. n : ℤ
3. 0 < n
4. ((n - 1) ⋅ e) = e ∈ |g|
⊢ ((n - 1) ⋅ e) = e ∈ |g|
BY
{ Trivial }

---

Latex:

---

Latex:

1.  g  :  IMonoid
2.  n  :  \mBbbZ{}
3.  0  <  n
4.  ((n  -  1)  \mcdot{}  e)  =  e
\mvdash{}  ((n  -  1)  \mcdot{}  e)  =  e


By

---

Latex:
Trivial

---

Home Index