---

Step * of Lemma impossible-equation-by-eqmod

∀[x,z,a:ℤ].  (¬(((27 * x) + (z + z) + (3 * x * z) + z) = (1 + (999 * a)) ∈ ℤ))
BY
{ (Auto THEN (D 0 THENA Auto)) }

---

Latex:

---

Latex:
\mforall{}[x,z,a:\mBbbZ{}].    (\mneg{}(((27  *  x)  +  (z  +  z)  +  (3  *  x  *  z)  +  z)  =  (1  +  (999  *  a))))


By

---

Latex:
(Auto  THEN  (D  0  THENA  Auto))

---

Home Index