---

Step * of Lemma prime-mult

∀n:{2...}. ∀x:ℤ.  (prime(n * x) ⇒ (prime(n) ∧ (x ~ 1)))
BY
{ (Intros THEN (FLemma `prime-mul` [-1] THENA Auto) THEN D -1) }

1
1. n : {2...}
2. x : ℤ
3. prime(n * x)
4. n ~ 1
⊢ prime(n) ∧ (x ~ 1)

2
1. n : {2...}
2. x : ℤ
3. prime(n * x)
4. x ~ 1
⊢ prime(n) ∧ (x ~ 1)

---

Latex:

---

Latex:
\mforall{}n:\{2...\}.  \mforall{}x:\mBbbZ{}.    (prime(n  *  x)  {}\mRightarrow{}  (prime(n)  \mwedge{}  (x  \msim{}  1)))


By

---

Latex:
(Intros  THEN  (FLemma  `prime-mul`  [-1]  THENA  Auto)  THEN  D  -1)

---

Home Index