---

Step * 2 of Lemma ctrex1-calculation


eval N = 10^126 in
eval M = 10^1143 in
  un-ctrex1(un-ctrex1((r1)/N)) M ~ 23
BY
{ ByComputeAll }

---

Latex:

---

Latex:

eval  N  =  10\^{}126  in
eval  M  =  10\^{}1143  in
    un-ctrex1(un-ctrex1((r1)/N))  M  \msim{}  23


By

---

Latex:
ByComputeAll

---

Home Index