---

Step * of Lemma 33-is-sum-of-three-cubes

∃a,b,c:ℤ. (((a * a * a) + (b * b * b) + (c * c * c)) = 33 ∈ ℤ)
BY
{ (InstConcl [⌜8866128975287528⌝;⌜-8778405442862239⌝;⌜-2736111468807040⌝]⋅ THEN Auto) }

---

Latex:

---

Latex:
\mexists{}a,b,c:\mBbbZ{}.  (((a  *  a  *  a)  +  (b  *  b  *  b)  +  (c  *  c  *  c))  =  33)


By

---

Latex:
(InstConcl  [\mkleeneopen{}8866128975287528\mkleeneclose{};\mkleeneopen{}-8778405442862239\mkleeneclose{};\mkleeneopen{}-2736111468807040\mkleeneclose{}]\mcdot{}  THEN  Auto)

---

Home Index