---

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

(∀x:ℤ
   let a = 1 + (6 * x * x * x) in
    let b = 1 - 6 * x * x * x in
    let c = -(6 * x * x) in
    ((a * a * a) + (b * b * b) + (c * c * c)) = 2 ∈ ℤ)
∧ let a = 1214928 in
   let b = 3480205 in
   let c = -3528875 in
   ((a * a * a) + (b * b * b) + (c * c * c)) = 2 ∈ ℤ
BY
{ (RepUR ``let`` 0 THEN Auto) }

---

Latex:

---

Latex:
(\mforall{}x:\mBbbZ{}
      let  a  =  1  +  (6  *  x  *  x  *  x)  in
        let  b  =  1  -  6  *  x  *  x  *  x  in
        let  c  =  -(6  *  x  *  x)  in
        ((a  *  a  *  a)  +  (b  *  b  *  b)  +  (c  *  c  *  c))  =  2)
\mwedge{}  let  a  =  1214928  in
      let  b  =  3480205  in
      let  c  =  -3528875  in
      ((a  *  a  *  a)  +  (b  *  b  *  b)  +  (c  *  c  *  c))  =  2


By

---

Latex:
(RepUR  ``let``  0  THEN  Auto)

---

Home Index