---

Step * of Lemma assoc_reln

∀a,b:ℤ.  ((a | b) ∧ (b | a) ⇐⇒ a = ± b)
BY
{ Auto }

1
1. a : ℤ
2. b : ℤ
3. a | b
4. b | a
⊢ a = ± b

2
1. a : ℤ
2. b : ℤ
3. a = ± b
⊢ a | b

3
1. a : ℤ
2. b : ℤ
3. a = ± b
⊢ b | a

---

Latex:

---

Latex:
\mforall{}a,b:\mBbbZ{}.    ((a  |  b)  \mwedge{}  (b  |  a)  \mLeftarrow{}{}\mRightarrow{}  a  =  \mpm{}  b)


By

---

Latex:
Auto

---

Home Index